Intel is doing very well in Linux kernel.