Odroid 3.0.57

This will just bump odroid-3.0.y to 3.0.57. No major changes, only fixes, mainly stuff we don't use on odroid.

But there are a few things in mm/ which can be interesting for us.