WindowsもLinuxもMacもカーネルがCで書かれてるらしいけど何でC++じゃないんだろう？