problem with bbswitch module on reboot

[Tim]

On Wed, 2012-10-24 at 15:57 +0200, Alexander Volovics wrote:
> However when I 'restart' (from the menu or 'shutdown -r now') this
> does not work: 'bbswitch' can't find the discrete VGA device!
> And consequently it is not loaded.

Any BIOS options regarding resetting video hardware upon resume, or
similar?

-- 
[tim at localhost ~]$ uname -r
2.6.27.25-78.2.56.fc9.i686

Don't send private replies to my address, the mailbox is ignored.  I
read messages from the public lists.