[PATCH v3 11/11] tools/nolibc: arch-*.h: add missing space after ','