x86/64: enable Hyper-V support in the x86_64 kernel config