[coreboot] ASUS KGPE-D16 PIKE slot usable as a PCI-e x4 slot