I have the same problem as Rgr and I already did what you said. I imported the updated files back to XPS and used "update bitstream". I tried downloading the program onto the board and it doesn't work. By the way I'm using EDK 5.1i and the ML300 evaluation board. Please help.