mpc52xx: add support for the IPEK01 board