# CONFIG_PPC_MPC512x is not set
