[kbuild-all] Re: [PATCH RFC 01/15] KVM: Move running VCPU from ARM to common code