[seL4] how to detect the number of CPUs in the system