vmlinux は男性形？女性形？

会社では主に英語なんだけど、さいきんちょっとフランス語でメール書いたりもしてます。

今日の疑問
vmlinux は男性形なのか女性形なのか？

同僚曰く
vmlinux っつーのは Linuxカーネルであって、ひとつのファイルだよね。
noyau(カーネル)は男性形。fichier(ファイル)も男性形。なので両面から vmlinux は男性形と考えていいんじゃないかな？

このロジックが合ってるのかどうかわからない...
まー Tech term はだいたい男性形なんだけどね。