F-3の統合情報処理モジュールのOSにlinux採用するのか