Don't use prebuilt kernels/ Add mako kernel
Signed-off-by: Kristofer Ard <kristoferard@gmail.com>