I hadn't realised but a few days ago ATI released their latest driver with support for the x1k series.
32bit:
https://support.ati.com/ics/support/default.asp?deptID=894&task=knowledge&folderID=300
64bit:
https://support.ati.com/ics/support/default.asp?deptID=894&task=knowledge&folderID=300
32bit:
https://support.ati.com/ics/support/default.asp?deptID=894&task=knowledge&folderID=300
64bit:
https://support.ati.com/ics/support/default.asp?deptID=894&task=knowledge&folderID=300