[coreboot-gerrit] Patch merged into coreboot/master: 8f15f47 Kconfig: do not set SB_HT_CHAIN_ON_BUS0 twice to the same value