state should set kernel stack