Brian Singleton has posted on article on configuring w32time via Group Policy using WMI on the AskDS Blog. You can check it out here: http://blogs.technet.com/askds/archive/2008/11/13/configuring-an-authoritative-time-server-with-group-policy-using-wmi-filtering.aspx