[coreboot-gerrit] New patch to review for coreboot: ca80d09 via/vt8454c: Migrate to per-device ACPI