[PATCH 18/24] KVM/x86: Add IBPB support