Because Debian comes with a quite old version of VICE I compiled the current V2.4 myself.
Installing the depencies (note: I know that not everything in the list is necessary, but this worked for me):
sudo apt-get install xaw3dg-dev libxaw7-dev libreadline-dev
sudo apt-get install libmp3lame-dev libpng12-dev libjpeg62-dev
sudo apt-get install libsdl-mixer1.2-dev libsdl-net1.2-dev libsdl-image1.2-dev
sudo apt-get install libusb-dev libgtk2.0-dev libvte-dev
Now download VICE and install it:
tar xvzf ../vice-2.4.tar.gz
sudo make install
My RasPI runs stable at 800Mhz with these little heat sinks. This is fast enough to run VICE at 100% emulation speed (if you don’t do other stuff in the background). If switched to ‘warp mode’ VICE will run at ~170%.