Continuing along on the series of articles on HDMI Encoding, I came across some additional boards which provide various indirect ways of getting HDMI to a CPU which can perform the encoding.
Pender Electronic Design has a HDMI2CSI: 4K HDMI to CSI Interface for NVIDIA TX1 Evalboard. This is a card which rides on the TX1 as a mezzanine card, takes two channels of HDMI in, and uses the Toshiba TC358840 to convert to CSI-2 signals for input to the TX1. A TX2 could probably be used as well. Audio channels are included. I encountered the description in a blog post. An additional blog post talks about Open Source Driver for HDMI2CSI Module Release. Kernel and drivers are available on github InES-HPMM.
Auvidea carries a number of NVIDIA Jetson TX1 carrier boards and CSI-2 Bridges. The bridge boards are single HDMI-in to CSI-2 interfaces. These have bee used atop the Raspberry Pi devices. These modules use the Toshiba TC358743XBG.
LWN has an article about the Linux Driver for Toshiba TC358743 HDMI to CSI-2 bridge.