What I'm wondering is if they could be using the hypervisor to just partition the CPU, and permanently assign one of the cores to the baseband VM, and leave the rest assigned to the Android VM.

Although, the article didn't say it had an odd number of cores, so I guess not (unless it's really a tri- or penta-core SoC)