Depends on how fast your BIOS/UEFI is at loading sectors off the disk; some are really slow and it can be faster to load and boot a small kernel and then load a

Depends on how fast your BIOS/UEFI is at loading sectors off the disk; some are really slow and it can be faster to load and boot a small kernel and then load all the modules.