Update kernel source for mako