review.coreboot.org / coreboot / e13632a939e7dde8d7d44fc73e73a41dae8060c3 / src / cpu / intel / socket_BGA956 / Kconfig