Re: [PATCH v2 12/14] selftests/nolibc: add tinyconfig target