ppc: xilinx-ppc4xx: Port to DM serial