Фамилия спасителя там была простая - Глушко (можно и еще пару фамилий назвать). Тогда уже кинулись собирать кадры для науки по фронтам и лагерям - вот вызов Глушко и был той самой формальностью.
Просто время подошло - страна задыхалась от нехватки кадров - вот и вся причина освобождения Королева.
Ранее за него заступился известнейший герой того времени Громов - не помогло. А война началась - сразу понадобились спецы.
Вот и выпустили таких как Королев из-за одной колючей проволоки за другую.