I know you've worked it out, but...

Unlike PC linux systems, the kernel is not stored on the hard disk - it's stored, compressed, in flash. This means that the kernel can be booting while the hard disks are still spinning up, which gives a faster boot time.

We're still working on the boot time, and I've shaved about 1.5 seconds off it (hopefully in the next release).

Hugo