[coreboot] [PATCH] More Kconfig changes