Eee PC WMI hotkeys
