SimpleAOSP kernel for Mako