manifest: use cryptomilk/gladiac's kernel