review.coreboot.org / coreboot / 77ff0b1a01d3d640be55d301b2fcf09a3f840ffe / src / soc / intel / braswell / Kconfig