This is probably nothing dtb related. Infrared Remotes [LibreELEC.wiki]
I think is dtb related, because in that thread one user says:
You need to update your DTB, nothing else is necessary for mecool
By that words, i think leia is compatible with my original k1 pro infrared remote, but i need put a correct dtb