Can confirm this does in fact work. I have osmc running on my x96.stock remote needs mapping but otherwise fully functional
I'm guessing that this user didn't get OSMC working but LibreELEC...unless they changed the recovery file which most likely is looking for a certain serial number range or something like that to stop the Vero 4k OSMC image being installed on non-OSMC hardware