[coreboot] Patch merged into coreboot/master: 5367e47 Add dummy Kconfig options for armv7