[U-Boot] Debugging U-Boot with BDI2000