powerpc/mpc8308rdb: support for MPC8308RDB board from Freescale