Special sections in Linux binaries

No, this is in fact a valid use of Stallman's terminology, since the binaries being referred to are explicitly *Linux* binaries, that is to say, binaries of the Linux kernel itself. GNU/Linux binaries were what I at first thought the article was about, but the article has little to do with non-Linux-kernel stuff (other than things that also pertain to all ELF objects).