kernel: add 32bit x86 HYPER-V support