This makes it possible to use --rt --cpu-used=8. Change-Id: I8b5bc4449b6e05d24d25145e35b4793501268c59