# CONFIG_NFSD_V4_DELEG_TIMESTAMPS is not set