xenpv-win drivers need to support both 32 and 64 bit versions of Windows Server 2008
*** Bug 516277 has been marked as a duplicate of this bug. ***
All dependent bugs are fixed in the latest build.