Anyone has these boxes with Coreelec?

Maybe you could try looking here first and see if you can find a compatible remote configuration?