[PATCH v5 06/14] tools/nolibc: arch-*.h: clean up multiple whitespaces