Prebuilt kernel for mako