puoi farlo con qualsiasi SO a patto di avere l'sdk, adb e fastboot configurati correttamente!!
quando si flashano le "tavole" non fai altro che sostituire il bootloader perche' il comando che fai e'
fastboot flash hboot bravo_alphaspl.img
in sostanza sostituisci il bootloader perche' e' in questo che risiedono le dimenzioni delle partizioni di nand!