The file I mentioned is in the first comment to that patch. I have followed the instructions from the manual for flashing, this is an update, not the initial flash. Rockbox.ucl works ok, but not rombox.ucl.
It's a pity, as I was quite excited when I saw the release notes for 3.2 : 'New archos flash packages, featuring an optimised, faster bootloader.'
Here's hoping someone knows how to achieve this, or what I need to do differently...