[PATCH v4 01/18] tools/nolibc: arch-*.h: add missing space after ','