set initial rump kernel context to NULL