[xtend] update Kernel 3.8.7 and drivers 04.05.2013

-update to kernel 3.8.7
-improved EOF detection
-improved fastforward/rewind
-improved dts playback
-tuning speed optimizations
-HDMI CEC: use device type 'recorder' instead of 'tuner'
-increased default RC repeat rate
-et4000: fixed SCART RGB mode
-et4000: fixed simultaneous HDMI 1080p and SCART
-et6500: fixed VFD turn off