Re: [coreboot] SeaBIOS and CBFS floppy images