[coreboot] New patch to review for coreboot: 32e20ad clean-up for arch/armv7/Makefile.inc