Make a sed script in doc/arm/Makefile.in portable
BSD sed does not recognize \s as a whitespace matching token. Make the sed script in doc/arm/Makefile.in which ensures GitLab identifiers are not split across lines portable by replacing \s with [[:space:]].