[coreboot-gerrit] New patch to review for coreboot: f15dea2 armv7: We don't use CPPFLAGS anymore