[coreboot-gerrit] Change in ...coreboot[master]: [WIP]arch/x86/postcar: Add x86_64 support