Fix mkbootimg.mk