kernel source for mako forked from _motley - jb_422 branch