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)
