Time server can be specified with DHCP, if you want. Options 4 [deprecated, but that doesn't matter] and 42. No idea if that helps with your particular device

Time server can be specified with DHCP, if you want. Options 4 [deprecated, but that doesn't matter] and 42. No idea if that helps with your particular devices; they are, of course, free to ignore those fields.