coremanager.py: Simplify add_cores_root