[PATCH 06/20] board: freescale: t4240rdb: enumerate PCI devices