Bug#861301: linux-image-4.9.0-2-amd64: Dell Optiplex 790 does not reboot without reboot=pci

[Noël Köthe <noel@debian.org>]

Package: src:linux
Version: 4.9.18-1
Severity: normal
Tags: patch

Dear Maintainer,

with the lastest and older kernels a Dell Optiplex needs the additional
kernel commandline reboot=pci to reboot correctly. With it the machine
hangs at the end of the shutdown.

I found this bug report which confirms it:

https://bugs.launchpad.net/ubuntu/+source/linux/+bug/818933

There is a patch included which seems not included upstream (0004):

http://people.canonical.com/~ogasawara/dell-reboot-quirks/

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/arch/x86/kernel/reboot.c

Maybe it could be included in Debian and upstream and then it will be fixed in the long run.

Thanks for your work.

-- System Information:
Debian Release: 9.0
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64
 (x86_64)

Kernel: Linux 4.9.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)