Reboot not work on Dell OptiPlex 750 desktop at Ubuntu Natty distro

[Matthew Garrett]

On Sat, Jul 30, 2011 at 01:10:16PM -0400, Dan Chen wrote:

> We can probably work around it by forcing a BIOS reboot through a
> quirk entry in arch/x86/kernel/reboot.c. Please file a bug against the
> linux source package, and ensure that the contents of
> /sys/class/dmi/id/{sys_vendor,product_name} are included in the bug
> report.

The BIOS reboot method isn't supported on 64-bit.

-- 
Matthew Garrett | mjg59 at srcf.ucam.org