Removing unused function die_if_kernel(). From: Jan Beulich (actual patch attached)