Get AOSP mako kernel source.