Installing updates on arm (bananapi) fails with mirror not found

[giacomo (Giacomo Sanchietti)]

The fix should be already in place thanks to @davidep.

See also ARM development: next steps