core/linux-raspberrypi-latest to 3.9.4
aur/xbmc-rbp-git update gcc optimizations