Barebox for MPC5200 (PCM030 board for example) is currently broken. Below some fixes and improvemnts to make it boot/work again. Comments are welcome. Juergen