Re: [coreboot] SeaBIOS booting