[U-Boot] Some ARM builds fail due to float ABI mismatch