Yeah, I'm saying that I've heard that there's some bug that's only hit by running one CCX after you've run the other one.

> Presumably the boot time CCX is selected by selection pins.

There's actually another core, an ARM 7 referred to as the BPMP (Bootstrap and Power Management Processor IIRC), that handles main CCX bring up.