ARM development: next steps

[davidep (Davide Principi)]

Just pushed a fix to mirrorlist.nethserver.org, would you mind checking it out?

https://github.com/NethServer/mirrorlist/pull/22