[coreboot-gerrit] Change in coreboot[master]: arch/x86/acpi: Add acpi_device_hid

[Patrick Georgi (Code Review)]

Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/35006 )

Change subject: arch/x86/acpi: Add acpi_device_hid
......................................................................

Patch Set 3:
> Patch Set 3:
>
> According to ACPI spec, A _HID object evaluates to either a numeric 32-bit compressed EISA type ID or a string. How about the case of integer?

The 32bit ID is a strict subset of the string (as in: you can encode the ID as a string), right? In that case I wouldn't bother with the special case and stick to the more general one.