Is that an interesting difference, though? At least on my machine, boot time is dominated by... grub loading the kernel and initramfs. Which is actually ridiculous when you consider it's a few dozen megabytes on a NVMe. I have't inveatigated what's up yet.
Certainly is to me! I build embedded Linux devices. Our current boottime from cold-boot to fully functioning is roughly 3 seconds. I would really like to get it lower and shaving off almost half a second would be amazing.