[coreboot-gerrit] Patch set updated for coreboot: 80f5b1f x86: use car_(get|set)_var accessors for apic timer