Problem while booting: "unexpected IRQ trap"

[wjt]

When you’re at that screen, type normal, then hit Enter. You should get a menu. (This is improved in a future version of the bootloader.)