I decided to reload the old ROM and re-upgrade not being sure if were differences. I had some wierdness after loading the old ROM which I suspect was program updates intended for the new ROM. You might want to do a reset to wipe the gear before dropping back to the old version.
Having done so, though, I used Kies to upload the new US ROM and it all went fine. I am now on the US MK7 and all seems well.
Sent from my Nexus 10 using XDA Premium 4 mobile app