I don't use systemd-boot on my main system anymore but this is here for reference
when I'm setting up new systems.