No, el file del boot es con extension "buc" que es el que tengo. Ahora si hubiera alguna forma de convertirlo al formato .bin no lo se, pero el que yo he utilizado es buc.

Salu2