Actually I do. I need vga switcheroo, which I understand is included in the latest kernel, to switch off my ATI radeon video card and enable the intel integrated card. The ATI card is causing me some grief.