Bugfixes to allow kernel reuse