Stock AOSP mako kernel