[coreboot] code conflicting with Kconfig