Увеличьте размер раздела Учебного лагеря

Используйте iPartition. Это делает начальную загрузку DVD, который можно использовать для повторного разделения диска. Это поддерживает разделы Учебного лагеря повторного разделения. Я использовал его дважды без проблем с этой целью.

Бесплатным решением является CampTune. Я никогда не использовал его так YMMV.