Merge "Update TV Input HAL documentation for device IDs" into udc-dev