At a high level, these are the steps for my upgrade. Your situation
will probably vary.

1. Backup up management server (Ghosted to another drive)
2. Basic upgrade to SmartCenter AI R55 on the mgmt server's imaged
3. Patch with CheckPoint updates
4. Check system: verify policy rules, objects, global properties,
etc. (New Cluster object required change to Nokia VRRP for sync)
5. Reestablish SIC
6. Push policy
7. Run tests of required communication through firewall
8. On the Nokia IP350, install IPSO 3.7 and CheckPoint wrapper as a
management server.
9. Patch with CheckPoint updates
10. Export policy on production Windows-based SmartCenter
11. Import policy on new IPSO-based SmartCenter
12. Test