[coreboot] [PATCH] Support for Intel Modular BIOS Interface support on i830