Add mako kernel source, comment out Google prebuilt kernel

Change-Id: I95e633ca5f68322404d32c48e5d073cdb29c987d