[coreboot-gerrit] Change in coreboot[master]: drivers/wifi/generic: Use acpigen_write_ADR_pci_device