Adding support for systemd-boot (or ex-gummyboot) on top of grub