rtemstoolkit: Use multiprocessing.cpu_count()
The previous implementation does not work on some Linux distributions, e.g. Debian on sparc64. Use a standard function instead.