submodule to rumpkernel