Re: [PATCH v2] tools/nolibc: Fix build of stdio.h due to header ordering