[U-Boot] Understanding a BDI U-boot issue