Situation: After the client migrated their DC and DHCP, all Mitel phones have incorrect time.
Troubleshooting: They use DHCP export/import to migrate DHCP. However, the time option 4 and 42 are not exported. Adding option 4 and 42 fixes the problem.