Портирование драйвера на платформу Win–64

Имеется (в текстах на C++) отлаженный на 32-битной платформе (XP-Win7) WDM-драйвер устройства. Устройство – чип видеоввода Philips7134 за PCI-мостом. Нужно собрать драйвер для 64-битной Windows 7.

Есть следующие специфические моменты:

1) Изначально драйвер собран под почившей Numega 3.2 (Compuware) DriverStudio поверх WinDDk 2.7. Нужно развернуть нумеговские обертки для компиляции в нативном WDK 7.1.

2) Устройство активно пользует DMA (не знаю пока, с какими проблемами это сопряжено).

3) Устройство – PCI-плата нашего производства, так что желателен исполнитель из Москвы и окрестностей. Могу, в принципе, выслать железку по почте, но, этот вариант будет рассматриваться в последнюю очередь.