'echo DIS> / sys / kernel / debug / vgaswitcheroo / switch' не работает

Я не могу использовать echo DIS > /sys/kernel/debug/vgaswitcheroo/switch для переключения на дискретную карту ATI. После запуска команды cat /sys/kernel/debug/vgaswitcheroo/switch все еще дает:

 0:IGD:+:Pwr:0000:00:02.0 1:DIS: :Pwr:0000:01:00.0 

Я использую Ubuntu 11.10 amd64 arch в Lenovo Thinkpad W500. В чем дело?