core/linux-odroid to 3.8.13.3-1, fixes #514