Re: [PATCH] hyperv: Fix 32bit compilation