core/linux-odroid to 3.8.13.7-1, fixes #561