hw/arm/mps2-tz: Allow boards to have different PPCInfo data