Fix mkbootimg binary