x86/kvm: Do not use BIT() in user-exported header