[coreboot] Re: PCIe Hotplug for Thunderbolt and U.2