For those who were not able to get the official 4.0.0 firmware from it’s official page, it has just been added to the GP2x archive.

Please note this is for F-100 models only!

http://archive.gp2x.de/cgi-bin/cfiles.cgi?0,0,0,0,42,2544