Comment 33 for bug 1097213

Kernel panic log:
------------------------
[ 1260.266037] CPU1: Booted secondary processor
 [ 1262.266710] CPU1: shutdown
 [ 1262.274830] Unable to handle kernel NULL pointer dereference at virtual address 00000004
 [ 1262.298693] pgd = edcac000
 [ 1262.306661] [00000004] *pgd=00000000
 [ 1262.317209] Internal error: Oops: 805 [#1] SMP THUMB2
 [ 1262.332095] Modules linked in: gator
 [ 1262.342655] CPU: 0 PID: 5624 Comm: run.sh Not tainted 3.10.19-00262-gf3401c5 #1
 [ 1262.364208] task: ee9db0c0 ti: ecfd6000 task.ti: ecfd6000
 [ 1262.380137] PC is at migrate_timer_list+0x40/0x70
 [ 1262.394006] LR is at timer_cpu_notify+0x14b/0x1f8
 [ 1262.407875] pc : [<c03cf624>] lr : [<c03cdbbf>] psr: 200001f3
 [ 1262.407875] sp : ecfd7e70 ip : 00000000 fp : 00000000
 [ 1262.441733] r10: c16b6050 r9 : c062e220 r8 : 00200200
 [ 1262.457135] r7 : c0642400 r6 : ef0d63fc r5 : c16b7d44 r4 : 0000007e
 [ 1262.476381] r3 : ef0d63fc r2 : 00000000 r1 : c16b7d44 r0 : c0642400
 [ 1262.495628] Flags: nzCv IRQs off FIQs off Mode SVC_32 ISA Thumb Segment user
 [ 1262.517695] Control: 50c5387d Table: adcac06a DAC: 00000015
 [ 1262.534632]
 [ 1262.534632] PC: 0xc03cf5a4:
...

[ 1265.172725] [<c03cf624>] (migrate_timer_list+0x40/0x70) from [<c03cdbbf>] (timer_cpu_notify+0x14b/0x1f8)
 [ 1265.200710] [<c03cdbbf>] (timer_cpu_notify+0x14b/0x1f8) from [<c0036f85>] (notifier_call_chain+0x45/0x54)
 [ 1265.228948] [<c0036f85>] (notifier_call_chain+0x45/0x54) from [<c001ebbd>] (__cpu_notify+0x1d/0x34)
 [ 1265.255644] [<c001ebbd>] (__cpu_notify+0x1d/0x34) from [<c001eccd>] (cpu_notify_nofail+0xd/0x14)
 [ 1265.281572] [<c001eccd>] (cpu_notify_nofail+0xd/0x14) from [<c03cb7ef>] (_cpu_down+0xb7/0x1b4)
 [ 1265.306986] [<c03cb7ef>] (_cpu_down+0xb7/0x1b4) from [<c03cb907>] (cpu_down+0x1b/0x30)
 [ 1265.330348] [<c03cb907>] (cpu_down+0x1b/0x30) from [<c03cc04b>] (store_online+0x27/0x50)
 [ 1265.354230] [<c03cc04b>] (store_online+0x27/0x50) from [<c027e361>] (dev_attr_store+0x11/0x18)
 [ 1265.379650] [<c027e361>] (dev_attr_store+0x11/0x18) from [<c00f0713>] (sysfs_write_file+0xeb/0x114)
 [ 1265.406349] [<c00f0713>] (sysfs_write_file+0xeb/0x114) from [<c00acbd7>] (vfs_write+0x73/0x10c)
 [ 1265.432024] [<c00acbd7>] (vfs_write+0x73/0x10c) from [<c00ace77>] (SyS_write+0x2f/0x50)
 [ 1265.455650] [<c00ace77>] (SyS_write+0x2f/0x50) from [<c000ce01>] (ret_fast_syscall+0x1/0x46)
 [ 1265.480544] Code: 686b 4629 682a 4638 (6053) 601a
 [ 1265.494668] ---[ end trace ee27e96cfb85187d ]---
 [ 1265.508273] Kernel panic - not syncing: Fatal exception
 [ 1265.523933] CPU2: stopping