powerpc/t2080rdb: Add T2080PCIe-RDB board support