How to manage multiple CPUs from the GDB stub perspective?