[coreboot] Patch merged into coreboot/master: 5dc9abd Use ACPI text fields consistently with all other boards