* debian/control: update the list of supported devices
   * debian: add a package for debug symbols
   * debian/patches: add 0002-Revert-am7xxx-play-switch-to-avcodec_encode_video2.patch
   * debian/control: update the list of supported devices
   * debian: add a package for debug symbols
   * debian/patches: add 0002-Revert-am7xxx-play-switch-to-avcodec_encode_video2.patch