It's proven to be far simpler to leave the radio's RTOS on a dedicated core and run the user facing OS on its own core(s) -- modern mobile SoCs are not starved for compute resources (not uncommon to see a single chip with a dedicated ARM core + DSP for the baseband, dual/quad/etc ARM cores for the "apps" processor running the user-facing OS, a GPU with additional compute, etc, etc.)