Личинка не загружается на перезагрузке

Я просто установил Ubuntu 15.04 на своем Dell XPS 13 2015 (не Developer Edition). Когда я делаю "мягкую" перезагрузку, компьютер не запускается - он отображает логотип Dell и не продолжается далее. (Это это предположило для загрузки личинки впоследствии.) Компьютер просто зависает, и я не могу найти выход из него (например, нажатие F12 ничего не делает).

Эта проблема не появляется, если я делаю "жесткую" перезагрузку.

Я не уверен, почему это происходит. Я действительно изменял файл конфигурации личинки для изменения разрешения следующим направления в http://hgdev.co/optimize-ubuntu-interface-scaling-on-hidpi-displays/. Но я не уверен, вызвало ли это проблему.

РЕДАКТИРОВАНИЕ (10/29/15): Это был более чем месяц, с тех пор как я попытался использовать функцию перезапуска. Я просто попробовал его сегодня, и это хорошо работает! Вопрос, должно быть, был решен некоторым обновлением программного обеспечения.