can anybody tell me whether there is a bios mux for optimus? there should be a bios option to choose between optimus and only nvidia. it should say something like discrete and switchable. can anybody confirm this please? I want to buy one of these but i am a linux user and optimus is not supported on linux yet. thanks