Hi,
Unsure if appending to the 4.13 announcement email was cool, so here's a separate thread.

I was using coreboot for a while, but then discovered that something about it was not accessing hidden PCI devices correctly (not enough expertise to figure out what).

In my particular case, I'm adding a Thunderbolt controller to an unsupported system.
The process for waking it up / unhiding it involves poking an extended capability register of the device while it is still hidden, via the EFI shell.

This works fine on stock BIOS + shell, but never worked in coreboot / Tianocore so unfortunately I had to give up using coreboot.

Given the "hidden PCI device" change from the 4.13 release notes, should I expect that my use-case may work now?
The notes talk about a specific device, but I'm unsure if all hidden devices are treated the same way.

Cheers,
R