[coreboot] [PATCH] Fix kconfig setup for the VIA pc2500e