The cold-boot time on this model can hardly be called “serverless”