add rump kernel tests