Try this – should work:
wget "https://www.dropbox.com/s/cdnoarzq1jkd437/armv7-tvheadend-app-osmc.deb?dl=1" -O tvh.deb
sudo dpkg -i tvh.deb
reboot
This patches frontend.h to fix the 32->64-bit pointer, but breaks
Pi and other platforms, so I need to think of a better approach.
Sam