[kbuild-all] Re: [RFC PATCH 1/2] KVM: PPC: Use the ppc_inst type