Re: [coreboot] Modular BIOS Interface