Clarify that linux/linux_elf are identical systems

[dra27]

ocaml/ocaml#12405 proposes using linux everywhere for the "system" variable. The change doesn't semantically affect the script, but it seemed worth making it clearer in the code that the two cases need to be identical.