Upstream part is merged in their repository now. I'm attaching an update for the
Debian part (regarding kfreebsd-downloader).
--
Robert Millan
diff -ur xserver-xorg-video-ati-7.2.0/debian/control xserver-xorg-video-ati-7.2.0.new/debian/control
--- xserver-xorg-video-ati-7.2.0/debian/control 2013-12-16 22:40:22.000000000 +0100
+++ xserver-xorg-video-ati-7.2.0.new/debian/control 2013-12-16 22:54:49.294891823 +0100
@@ -79,7 +79,7 @@
${misc:Depends},
${xviddriver:Depends}
Provides: ${xviddriver:Provides}
-Suggests: firmware-linux
+Suggests: firmware-linux [linux-any], kfreebsd-downloader (> 11~) [kfreebsd-any] | kfreebsd-downloader-10 [kfreebsd-any]
Description: X.Org X server -- AMD/ATI Radeon display driver
This package provides the 'radeon' driver for the AMD/ATI cards. The
following chips should be supported: R100, RV100, RS100, RV200, RS200,
