[coreboot] PCI-e hot plug on KGPE-D16 [SR-5690]