Mako prebuilt kernel