W komputerach DELL czasami mamy problem, kiedy reboot powoduje zawieszenie się komputera.
Problem pomaga (Debian 8 64 bit) rozwiązać dodanie opcji w domyślnych wartościach GRUB'a.
W pliku /etc/default/grub dowolnym edytorem zmieniamy wartość linii:
GRUB_CMDLINE_LINUX_DEFAULT=„reboot=pci quiet”
Następnie wykonujemy polecenie:
update-grub
I już system poprawnie reaguje na komendę reboot .