[PATCH] x86_64: Removing unused function die_if_kernel().