Unfortunately it is 17.04 which has now reached its end of life. So if you install, you’ll have to immediately upgrade to 17.10. Booting the ISO is really slow, but if you install it properly then it is much faster and comparable with a normal 32 bit raspberry pi install.