Fix boot.img generation