Re: [PATCH 04/12] cpu_ppc64.c: use typedefs for 'struct ppc64_model'