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