Right, I wasn't trying to one-up you, and a "full" Linux distro of any kind will take longer than that, just pointing out that the bottleneck is not the hardware. The thing can boot really fast.
Oh, don't worry, I assumed that you weren't, I just realised that I wasn't too specific so I just specified it. Sorry if I accidentally implied that you were, I wasn't trying to.
Still, I learned about micro-distros which was quite an interesting thing to discover :) I might try and mess around with some on the Pi Zero I have to see if I can figure out a cool use for something like that.