Begin tracking Faux123's kernel source for Mako

Change-Id: I42be053fd5b9bf0110b7630ce599925486333fa5