Hey Kevin, I'm definitely no law student, but I think you could just have your hardware be called for eg, KB HD display module and you would market it for ARA, so for example I am a blogger and I would write about your Ara KB module, but the module itself wouldn't be called KB ARA module, just KB HD display module. I don't think you'll lose out on attracting customers if ARA isn't a part of the name because universal remotes do not have specific TV names, just their own brand name.
So I think KB could become your brand and KB makes display modules for ARA. This way KB can separate itself from other ARA display modules which is important for your specific products.
I think what i'm trying to say is, i don't know if you will have problem including ARA in naming, but all products need to have something
of their own so they can stand out, and you need to make a name for yourself which you should then attach to your products, so instead of
module "Ara something" you should have for example KB "something" module KB being whichever brand name you choose.