[coreboot] Issue with BMC module