imx_gpc_set_arm_power_up_timing
void imx_gpc_set_arm_power_up_timing(u32 sw2iso, u32 sw);
imx_gpc_set_arm_power_up_timing(cpu_is_imx6sx() ? 0xf : 0x2, 1);