[coreboot-gerrit] Patch set updated for coreboot: src/console: Add x86 romstage spinlock option and printk spinlock support