[coreboot-gerrit] Patch set updated for coreboot: 47b4496 haswell: Move to collaborative ACPI