Make sure we clear the freed the availability cores (#1921)

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.
9 jobs for master in 24 minutes and 56 seconds (queued for 2 seconds)