Fix AOSP kernel compilation (and USB also)