Remove / character in the kernel name for prettier printing