Is there a way to boot it from systemd-boot?