Fix ambiguous reference in update_tcbs()