Android boxes with HDMI input for video recording