We just performed this upgrade as well and only ran into one variance during the procedure. At step 5) you will need to select the option to boot IOS XR in 32-bit mode before the rommon prompt will be presented. This may come without saying for those...