powerpc/85xx: Add basic support for P1023RDS board