This is admittedly bikeshedding but I'd prefer it to just say "Linux" to avoid the political undertones of the "GNU/Linux" phrasing.