Final changes for mkbootimg (I hope), Android.mk