Hi Jon,
Chances are, the "USB Dongle" is simply a bootable USB FlashDisk with some proprietary software to tinker around with the BIOS. That'd be the easiest route for Intel to take, since it's a built-in feature.
Can the Spanish machines boot from arbitrary USB devices? Or is it totally locked down to just boot Linux from the internal hard-drive? Is there a BIOS Setup menu that you can get into? (accessed via F2, DEL, etc..)
Some BIOSes will boot via PXE, which is a BOOTP equivalent.. it might be worth a shot to hook the machine up to a sniffer to see if you can get it to boot from a network image.
Unfortunately, I don't own one of these machines, so I'm not able to be of much help. I did download a few copies of the BIOS images from the website, and will compare them this weekend. If I find something glaringly obvious,
I'll post my findings.
Thanks!
-WP