[coreboot-gerrit] New patch to review for coreboot: e4cb128 Kconfig: do not set SB_HT_CHAIN_ON_BUS0 twice to the same value