One more option would be a flirc USB adapter, which allows one to use any remote with any TV Box having a functional USB port available.
As it happens frequently, there is more than one way to skin a cat: from checking for interference over injecting the BL301 blob to using a Universal IR Rremote or a flirc USB adapter.