core/linux-olinuxino to 3.7.2-7, fixes #714