Mine

[<c0101cc1>] default_idle+0x31/0x60
 [<c0101d64>] cpu_idle+0x74/0xd0
 [<c03b47c8>] start_kernel+0x348/0x400
 [<c03b4220>] unknown_bootoption+0x0/0x260
handlers:
[<f8f2eb30>] (sdhci_irq+0x0/0x610 [sdhci])
[<f91ab180>] (ndis_isr+0x0/0xc0 [ndiswrapper])
Disabling IRQ #20
floppy0: no floppy controllers found
floppy0: no floppy controllers found
[snap@localhost ~]$