[coreboot-gerrit] Patch set updated for coreboot: device: Use x86 specific code on x86-64