At last, but not least, the config.txt belongs to the history. Since r305 everything is handled from the settings menu and is saved with the global save system. Have a nice trip to the dark side of usloader-gui :p