[coreboot] patch: starting to get some variables out of mainboard Kconfig that ought not be there.