Vero 4k is arm64 but OSMC armhf is installed by default

Here is the new thread: