[Linaro-open-discussions] [RFC linux 2/5] KVM: arm64: Move WFI execution to check_vcpu_requests()