[coreboot-gerrit] New patch to review for coreboot: bf86fd6 arm: Fix CONFIG name: ARM_V7 to ARMV7