systemd-boot is much smaller than grub.