[coreboot] [PATCH]es: Various changes from the kconfig branch