[PATCH v2 10/13] selftests/nolibc: test compatibility of nolibc and kernel time types