[coreboot] Re: SeaBios getting stuck in boot menu