ok, updated kernel package enabling USB sound and the USB displaylink driver. Also, the linux-headers package is now available!
# apt-get update
# apt-get upgrade
# apt-get install linux-headers
then, use something like this to build out-of-tree modules
make KVERS=3.8.7 KSRC=/usr/src/linux-headers-3.8.7/