Oops, my mistake - we ship an x86 binary upgrade tool, but no source.

Rob