3 ms·

Intel is one of(possibly the biggest) the largest contributors to Linux. I wouldn't worry about it too much.