[coreboot] Patch set updated: 071f750 X60: use new acpi code