Alan Cox leaves Linux and Intel