[    0.000000] bad: scheduling from the idle thread!
[    0.000000] CPU: 0 PID: 0 Comm: swapper Tainted: G      D         4.4.15 #0
[    0.000000] Stack : 803bf3a4 00000000 00000001 80410000 804070d8 80406d63 803
a0a74 00000000
          80473798 800bd978 80060000 87d58000 87cc8528 800a6f1c 00000006 0000000
0
          00000000 00000000 803a44ec 80401c0c 80476542 800a4e98 80477fb8 0000000
0
          00000000 00000000 00000000 00000000 00000000 00000000 00000000 0000000
0
          00000000 00000000 00000000 00000000 00000000 00000000 00000000 0000000
0
          ...
[    0.000000] Call Trace:
[    0.000000] [<80071aa8>] show_stack+0x50/0x84
[    0.000000] [<8009e598>] dequeue_task_idle+0x24/0x38
[    0.000000] [<800667d0>] __schedule+0xdc/0x608
[    0.000000] [<80066d60>] schedule+0x64/0x7c
[    0.000000] [<80068f18>] schedule_timeout+0x128/0x160
[    0.000000] [<800b00d4>] msleep+0x24/0x34
[    0.000000] [<80071c80>] die+0xf8/0x110
[    0.000000] [<80073a40>] do_ade+0x474/0x8cc
[    0.000000] [<80060820>] ret_from_exception+0x0/0x10
[    0.000000] [<800c1ed4>] try_module_get+0x8/0x6c
[    0.000000] [<800bd978>] tick_check_new_device+0x4c/0x98
[    0.000000] [<800bca08>] clockevents_register_device+0x70/0xec
[    0.000000] [<80074644>] r4k_clockevent_init+0xec/0x13c
[    0.000000] [<804391f4>] time_init+0x18/0x7c
[    0.000000] [<80425a7c>] start_kernel+0x318/0x490
[    0.000000]