Revert "switch mako kernel source to wip branch"

This reverts commit 26e39359e76e3672f6bb6f12fb4e031376220a90.