Anyone had success with HDMI input on any of the (lower priced) single board products? Read about mixed results with easycap/ezcap USB devices, HDMI to ethernet converters, etc... There are more expensive boards (>200 USD) that feature dedicated HDMI input ports but those boards won't have a large support community.