Hi!
When I compare the remote platform and hdmi_cec, it looks like cec is a remote. I say, technically it is, just using cable instead of IR. Mediaplayer, compared with CEC, then mediaplayer is a device and the platform controls this device. CEC controls other devices too. So, I suggest to move CEC to remote platform.
Just a discussion 