Re: [PATCH v4 00/18] selftests/nolibc: allow run with minimal kernel config