* Samuel Thibault samuel.thibault@ens-lyon.org [070503 20:47]:
Oh yes, I forgot to tell the list the result of this. This is indeed a Geode GX1 system (though there is a lot of stuff around it). The chip most probably responsible for holding the BIOS is labelled AM28F040B-90ED and is indeed soldered on the board through very thin pins.
If you are into soldering, or know someone close to you who is, you can try to desolder the part and attach a socket instead. I always thought stuff like this is pretty crazy, but it can be (and has been) done.