[coreboot-gerrit] [S] Change in coreboot[master]: soc/intel/common/block/uart: Show ACPI UART in OS

[Arthur Heymans (Code Review)]

Attention is currently required from: Angel Pons.

Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/70155 )

Change subject: soc/intel/common/block/uart: Show ACPI UART in OS
......................................................................

Patch Set 1: Code-Review+1

(1 comment)

Patchset:

PS1: 
acpi_device_status() does not set the SHOW_IN_UI bit when a device is 'hidden'. Hidden in the coreboot context only means that the silicon messed up the PCI spec. I think it makes sense to change acpi_device_status().