HPCはユーザーコードの単純な計算処理時間が全てだからカーネルの構造なんかむしろほとんど問題にならん
効いてくるとしたらせいぜいスケジューリングやメモリ管理くらいだが、そんなもんマイクロカーネルでもカーネルに含まれる機能