core/linux-odroid to 3.8.13.16-4, fixes #710