Hi! Machine is thinkpad x60, that's x86-32. It fails to boot: EIP: ptdump_pte_entry+0x9 call trace ? ptdump_pmd_entry walk_pgd_range ... mark_rodata_ro ? rest_init kernel_init -- (english) http://www.livejournal.com/~pavelmachek (cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html