Sounds similar to [TESTING] OSMC images for Debian Stretch - #50 by martinrevert.
But the poster there suggested setting arch to arm7 not armv7.
Can you please confirm if that also works?
For now I think we just want to split the helper routines to be Vero 4K only
Can you also let me know what add-on you’re using that needs InputStream (provided it doesn’t violate our forum rules) and which version of Kodi you’re using?
Sam