Story behind Linux Operating System Linux, Red hat enterprise linux, Linux kerne