In include/bsp.h, one should add back : #define BSP_PCI_IRQ0 BSP_PCI_IRQ_LOWEST_OFFSET P.S. : At one point, it was suggested to use a different name in the O.S.. However, this introduced problems for a clean build.