[coreboot-gerrit] Patch set updated for coreboot: 88108c9 arm/armv7: drop merge left-over