Mako kernel source

Change-Id: I1dfa0b00b223bb94d74500a7c0dadccf73cc20ae
Merge "Mako kernel source" into jb42