[coreboot-gerrit] Patch set updated for coreboot: f0a0e9d via/vx800: Migrate to collaborative ACPI