Kernel boot is plenty fast with real hardware, usually under 1 seconds.
It's everything else that's slow. For example, this is my machine
Startup finished in 14.552s (firmware) + 2.885s (loader) + 741ms (kernel) + 23.116s (initrd) + 11.191s (userspace) = 52.488s