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