[coreboot] Patch merged into coreboot/master: d723c5b clean-up for arch/armv7/Makefile.inc