[coreboot-gerrit] Patch set updated for coreboot: f9132ae ARMv7: Clean up console code