[coreboot] SeaBios getting stuck in boot menu