Update linux-config to 3.11-rc5

The removal of CONFIG_ASUS_WMI could be responsible for the volume keys not
working after the update.
Add script that randomly shuffles a list of songs