[coreboot-gerrit] Change in coreboot[master]: mb/**/Kconfig: Properly override `DISABLE_HECI1_AT_PRE_BOOT`