I am an idiot; kernel now shuts down properly