[Obvious] Change Linux to GNU/LINUX in ARM options documentation