Switch to Linux 3.13.y for odroid-xu board. This version contains more patches from hardkernel (including arch. timers, proper shutdown, etc.)

Geoffrey Papauxrequested to merge
odroid-xu-switch-to-3-13 into master

Merge request reports