[PATCH v3 10/14] selftests/nolibc: test compatibility of nolibc and kernel time types