This is from Ubuntu Saucy based on 3.10-rc7:

[   12.911676] BUG: unable to handle kernel NULL pointer dereference at
0000000000000070
[   12.911691] IP: [<ffffffff8156e572>] od_set_powersave_bias+0x92/0xc0

For completeness I added the attached debug patch and built a vanilla
3.10-rc7 with the following result:

[   13.222262] od_set_powersave_bias !policy, cpu 0
[   13.222843] od_set_powersave_bias !policy, cpu 1
[   13.223380] od_set_powersave_bias !policy, cpu 2
[   13.223922] od_set_powersave_bias !policy, cpu 3

Attachments:
dmesg.txt - ubuntu kernel rebased on 3.10-rc7
dmesg_dbg.txt - vanilla 3.10-rc7 with debug patch
0001-cpufreq_ondemand.c-Added-debug.patch - debug patch
config - 3.10-rc7 config

rtg
-- 
Tim Gardner tim.gardner@canonical.com