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