We've recently upgraded a couple Checkpoint management consoles and firewalls to test out the newly released R80.40, one thing we've run across in Orion is all the R80.40 nodes will show a reboot roughly every hour, however the devices are not rebooting. Anyone else testing R80.40 and have run across the same thing? No changes made to Orion, just upgraded the devices.