Re: [PATCH 4.19 2/3] KVM: x86: Check lapic_in_kernel() before attempting to set a SynIC irq