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