Are spice guest tools that will work with Server 2k8 available - especially video drivers?