My view on this is that it is sad, but makes sense from a business perspective. Intel is in a really hard place which means making some painful cuts, especially in things with long term benefits. The Linux kernel is mostly funded by big companies. Contributions rise and fall, but it has enough diversity to weather this type of change.