Re: [PATCH v6 01/15] tools/nolibc: arch-*.h: fix up code indent errors