Re: [coreboot] Simple Firmware Interface?