[coreboot-gerrit] Change in coreboot[master]: acpi: Accomodate non-standard UUIDs in device properties