Get rid of unnecessary explicit kernel source for mako

Change-Id: I3ce365e2b22233163d3bdcd4d27e250874b8f451