I don't see why Debian Edu would need a different NTP configuration that any other system. I cannot detect offhand what debian-edu-config actually does with the ntp configuration, so could the Debian Edu Developers please describe what needs they have?