Bring in Mako kernel from TeamEos repo