Re: [coreboot] SeaBIOS payload without a menu