mpc512x: fix build issues