[U-Boot] Fix for a build ?