[U-Boot-Users] Cannot boot reliably vxWorks on PPC44x