add mako kernel to mako device tree