Hi Mark,

I read your log message in cvs@:

> Log message:
> Avoid powering down PCI devices if we're rebooting.  This makes some
> machines (e.g. the t410) unhappy.

Is there any reason why PCI devices should be turned off in a reboot?
(One that comes to mind why it's better not to do so is battery
consumption.)


-- 
Walter