I like to use a single remote for both my TV and Kodi, and the raspberry pi has the CEC HDMI thing which makes it possibke. It's not that common in SBCs AFAIK.
Unfortunately it's not cheap, although the same functionality could be offered by a USB equipped small microcontroller "sniffing" 2 wires from a pass-through HDMI port.