Adding proper exit_to_kernel