ppc/ppc405: Use an embedded PPCUIC model in SoC state