hardware, simulator, doc: Add a "CPU count" field to the CpuInfo device.
c: Update code to iterate only over the actual number of cores.