core/linux-odroid to 3.8.13.19-2, fixes #786