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