Fix mkbootimg syntax