Поработаю Вангой, подозреваю, что чел поставил в свистке NTSC (720x480). Оно вышло из HDMI, зашло в конвертер, где превратилось в 800x600 или 640x480 и такое вышло через VGA. Потом оно зашло в контроллер матрицы и стало там 800x480 для матрицы.
Сам собираюсь такое мутить или сразу подключу свисток композитом в режиме NTSC к AV-входу контроллера.
В зависимости от того, что будет меньше мылить. А мылить будет по-любому, ибо несколько преобразований делается.