Stuff

Call Trace:
 [<801011d4>] plat_irq_dispatch+0x4c/0x198
 [<801291d4>] do_softirq+0x58/0x8c
 [<801021dc>] ret_from_irq+0x0/0x10
 [<802012c8>] serial8250_console_putchar+0x0/0xf4
 [<801fb148>] uart_console_write+0x5c/0x88
 [<801011d4>] plat_irq_dispatch+0x4c/0x198
 [<801021dc>] ret_from_irq+0x0/0x10
 [<802012c8>] serial8250_console_putchar+0x0/0xf4
 [<8010cd9c>] do_page_fault+0x16c/0x360
 [<8010cd30>] do_page_fault+0x100/0x360
 [<80132c34>] blocking_notifier_call_chain+0x24/0x5c
 [<802adb0c>] __down_read+0x54/0x15c
 [<80159354>] split_vma+0x1a8/0x1d0
 [<80123478>] printk+0x24/0x30
 [<80132c34>] blocking_notifier_call_chain+0x24/0x5c
 [<80133330>] kernel_restart_prepare+0x1c/0x34
 [<80109a8c>] dump_stack+0x14/0x20
 [<8013335c>] kernel_restart+0x14/0x60
 [<801290ec>] __do_softirq+0x68/0xf8
 [<801011dc>] plat_irq_dispatch+0x54/0x198
 [<801291d4>] do_softirq+0x58/0x8c
 [<801021dc>] ret_from_irq+0x0/0x10