[coreboot-gerrit] Change in coreboot[master]: arch/x86/acpi_device: Add a helper function to write PCI device

[Furquan Shaikh (Code Review)]

Furquan Shaikh has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/40674 )

Change subject: arch/x86/acpi_device: Add a helper function to write PCI device
......................................................................

Patch Set 2:

(1 comment)

https://review.coreboot.org/c/coreboot/+/40674/2/src/arch/x86/acpi_device.c 
File src/arch/x86/acpi_device.c:

https://review.coreboot.org/c/coreboot/+/40674/2/src/arch/x86/acpi_device.c@... 
PS2, Line 952: dev->enabled
> Since the device is still present and the kernel re-enumerates anyway, should we write out the node  […]

Makes sense. We can use acpi_device_status() to determine that.