Hello Jonas,
In the S32K3xx DS, rev.7 you can find Section 6.5.3 Boot time, HSE firmware installed.
Table 8 provides the boot time of the S32K3 SBAF and Firmware initialization.
To obtain the total boot time, the corresponding user code verification time (Table 9) must be added.
Regards,
Daniel