[coreboot-gerrit] Patch merged into coreboot/master: c41fd4b arm/armv7: drop merge left-over