Samsung LT v3.8.13 - Respin 3

tag: samsung-lt-lng-v3.8.13-3

Changes on top of samsung-lt-lng-v3.8.13-2:
* Added arch_sys_counter support and set it as default clocksource
* Disabled debug macros to improve performance

Changes on top of samsung-lt-lng-v3.8.13-1:
* Added fix for serial-tty bug when CONFIG_PREEMPT_RT_FULL is enabled.

Changes on top of samsung-lt-lng-v3.8.13:
* Added Preempt RT patches from [1].

[1] https://www.kernel.org/pub/linux/kernel/projects/rt/3.8/patches-3.8.13-rt9.tar.bz2