Add prebuilt mako kernel.

Change-Id: I2fca6cad80d0d24e95df3fc1594345785cbb4368