#4 Según tu propia lógica, kern es una palabra masculina en alemán (der Kern), así que en todo caso ese argumento serviría para reforzar la supuesta masculinidad de la palabra en español.
Yo personalmente defiendo que sería más bien "el kernel" para Linux, y "la kernel" para nombre de drag queen.