3 ms·

This is correct. The number of Linux machines, even counting firmware and other devices, is extremely low.