hw/arm/armsse: Use an array for apb_ppc fields in the state structure