So I would logically have assumed; but the European release was some three weeks behind the US one and, according to John Hollenberg in an earlier thread, Canon have in the past issued dire warnings about using firmware from one region in another, so I was interested to compare the two.
(similar updates for the iPF9000 are also now available on the European website)