3 seconds boot time?
On my i7 3700 with SATA SSD, Debian takes about 1 second to boot, FreeBSD takes about 10 seconds. I'm not in the habit of doing that very often, so I don't really care. FreeBSD is way faster when it does boot.
Windows Server 2019 takes about 2 seconds to boot on the same hardware. I *am* in the habit of doing that very often. It is much better than Server 2008, which took about 30 minutes, but my main concern is that it is something I have to do at least once a month.