ArduinoBoardADK boards.txt corrupt?

There is an updated boards.txt and a driver under
http://arduino.cc/en/Main/ArduinoBoardADK (at the very bottom).
Unfortunately, this does not work for me.
Can this be updated ?
thanks

Can someone please upload a new boards.txt.zip as this one is Corrupt - Thanks