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