How to convert from GRUB to systemd-boot?