Give the Kernel its name back