[coreboot-gerrit] Patch merged into coreboot/master: 4282ffe armv4: correct ARMV4 VERSTAGE guard