According to http://wiki.linuxaudio.org/wiki/system_configuration I tried the following which produced a kernel configuration file:
$ cat /proc/config.gz | gunzip > /home/tward/Desktop/config-`uname -r`
$ cat /proc/config.gz | gunzip > /home/tward/Desktop/config-`uname -r`
virtualenv -p python2 ~/myfolder/
$ cd ~/myfolder/
$ source bin/activate
$ ./some_python_app
$ sudo rmmod ehci_pci && rmmod ehci_hcd $ sudo modprobe ehci_pci && modprobe ehci_hcd