Bug#617453: restarting doesn't always work on Dell Latitude E6400

[Jonathan Nieder <jrnieder@gmail.com>]

Hi Vincent,

Vincent Lefevre wrote:

> dmesg confirms that reboot=pci is taken into account:
>
> [    0.000000] Command line: root=/dev/mapper/xvii-root ro quiet reboot=pci
>
> I just did a single reboot with this, and it was fine. The future
> will tell whether this really solves the problem.

Ok, awesome.  Thanks to both of you.

The DMI list in arch/x86/kernel/reboot.c (including Latitude E6420,
etc but not E6400) is really disheartening[1].  Matthew Garrett
mentioned it recently at [2].  Does disabling VT-d in the BIOS help?
(To avoid confusion for people listening in: this is meant as a
diagnostic question and not intended as a fix.)

Thanks,
Jonathan

[1] http://thread.gmane.org/gmane.linux.kernel/1215897/focus=1239861
[2] http://mjg59.dreamwidth.org/14475.html