coreboot now booting with BMC firmware module installed: https://www.raptorengineering.com/coreboot/kgpe-d16-bmc-port-status.php The BMC module takes SPI/GPIO control, therefore coreboot patches were needed to allow RAM initialization and boot.