You are correct. I see the messages about loading the new flash in the file I downloaded, so the /dev/flash does give you everything in the flash.

Is there a utility to extract the kernel from the flash file for the empeg? Is this a job for a hex editor? Are there instructions anywhere on how to do this?

Also, does anyone know the available space in the flash? The used space seems to be right at 1M.

In case anyone is interested, I have a copy of the flash out at:
flash