[PATCH 01/20] board: freescale: t2080rdb: enumerate PCI devices