Andrew and group,

That us a good place to start. I'll look in the bios. The other thing about acpi in linux I'll probably need some help with.