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