[kbuild-all] Re: [PATCH] KVM: x86: fix noderef.cocci warnings