Mako kernel prebuilt