x86: fix spurious '#' in kvm header