можно ли через WinDbg на 32в машине отлаживать дрова 64в на другой, или для отладки 64в обе машины должны быть 64в?