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