powerpc: Add P3041DS/P5020DS board support (uses corenet_ds code)