manifest: pull from SoMeX mako-kernel repo