difference between linux and kernel - Search