dvb-firmware: update to dvb-firmware-0.0.36
xf86-video-nvidia: make nvidia happy with kernel 3.13
linux: 3.13: update dvbsky patch