[U-Boot] Problem using CodeSourcery 2010.9-50 ARM GDB to debug U-boot w/BDI