Edit 11/27/2016: The link below has been updated and the following Smart-1 appliances are not listed as supporting R80:
Smart-1 5
Smart-1 25 (I assume this includes the Smart-1 25b as well)
Smart-1 50
Smart-1 150
Normally you would go here to check which software releases are supported on which appliances:
Support Life Cycle Policy | Check Point Software
but it doesn't look like this list has been updated for R80 yet. I'd guess a Smart-1 150 would be compatible with R80 and a Nokia IP390 will not since the IP390 is limited to a maximum of 2GB RAM I believe. But bear in mind an IP390 is not typically a Security Management Station, it is usually a gateway and the hardware requirements for R80.10 gateway have not been published yet.
--
My book "Max Power: Check Point Firewall Performance Optimization"
now available via http://maxpowerfirewalls.com.
Gateway Performance Optimization R81.20 Course
now available at maxpowerfirewalls.com