rename linux to kernel