fixup the AOSP makefiles for kernel stuff