[Virt] [PATCH hulk-4.19-next v3 08/17] KVM: arm64: Document PV-sched interface