Hello David Wende,
This information is indeed not available on the documentation but the boot configuration pins should be read on the next clock rising edge to continue booting. It is the next step on the booting process after the boot mode, so there is no much delay between the boot mode being read and the boot configuration pins being sampled (when obtaining the boot configuration from them).
I hope this helps!
Regards,