Comment 20 for bug 1047531

Peeking through gdb, it seems the kernel is hung inside setup_arch:

#0 0xc0135e81 in ?? ()
#1 0xc097a0a3 in ?? ()
#2 0xc09744ed in ?? ()
#3 0xc09740ba in ?? ()
#4 0x00000000 in ?? ()

where System.map (in the precise image) shows

c097a024 T reserve_standard_io_resources
c097a048 T setup_arch
c097a756 T i386_reserve_resources

and

c0135e50 t native_flush_tlb
c0135e60 t native_flush_tlb_global
c0135e90 t native_flush_tlb_single