powerpc/t1023rdb: Add T1023 RDB board support