[coreboot-gerrit] Change in coreboot[master]: arch/x86,cpu/x86: Fix 64-bit CPU_INFO_V2 build errors