Here are several more updates for the ppc target and the pseries machine in particular. This obsoletes the earlier copies of the first two patches I sent today.
The first patch more correctly handles CPU features which are present on some CPUs we know about, but which are not yet emulated in TCG. The second adds limited PCI support to the pseries machine (this copy fixes a compile bug in the previous version that hits with some compilers). The third adds support for the "info tlb" monitor command on Book3S ppc cpus.
