Many thanks for the solution - apologies I focussed on the '90Mhz' and overlooked the other end of the scale at 160MHz and the divide by 2 now obvious usage!
While I have reviewed AN5425 I am finding 5.1 HSRUN mode entry slightly ambiguous, especially when used with the PE / SDK.
Do I need to create another clockMan1_InitConfig1 with a different SPLL and divider, and add it to the CLOCK_SYS_Init() clock_manager_user_config_t array?
Then to enter HSRUN mode call
POWER_SYS_SetMode(HSRUN, POWER_MANAGER_POLICY_AGREEMENT);
CLOCK_SYS_UpdateConfiguration(1U, CLOCK_MANAGER_POLICY_AGREEMENT);
and then reverse the process on exit? Or should I be adding the CLOCK_SYS_UpdateConfiguration as callbacks in the Power_sys management?
Is there an Application note or guide to switching between 80MHz RUN mode and 112MHz HSRUN mode with the SDK - the example power_mode_switch_s32k14x only shows the simpler case of switching from 48MHz FIRC clock to 112MHz SPLL clock ?