powerpc/85xx: Add P1023RDB board support