Thanks for explaining it!
So systemd-boot finds the kernel in the EFI partition, which it then loads, and then that kernel loads another kernel from the main partition, which is then the full OS.
Is there a reason it's done this way, and not just the bootloader loads the main kernel?
Also, are the two kernels the same, or does this use two different kernels?