/* Simple oneliner include to the PCIv3 early init */
extern int pci_v3_early_init(void);