Get rid of unnecessary explicit kernel source for mako