It is a relevant, just not a complete fix. The change posted won’t alone do anything, since getTime will never get anything from dhcp without changing that too.
Tinycore/piCore has always used a bootcode to specify the ntpserver. So if we want to change how this works, it needs to be a complete solution. I have seen routers advertise incorrect ntp servers via dhcp. (Amazon eero routers for one). So the bootcode needs to be first priority.