Re: [PATCH] KVM: x86/mmu: Fix incorrect use of CONFIG_RETPOLINE