If a core is freed, we need to make sure it is inserted as free into availability cores, because we can not be sure that the core is occupied directly again.