What difference would that make to the question at hand? Do you think the average engineer at Microsoft gives a whole lot of thought to Windows kernel development?
But to answer your question directly: I would have no idea. Do you?
I think the point is about if they are a tech company… and they are very literally a software and hardware company. It’s not a question of what the average engineers day to day is.