Clean up mkbootimg.mk