Yes all of them do depend on some form on microkernels.

It is called L4 and is responsible for the baseband communications and secure enclave.

https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...