does `systemd-boot` work on `rpm-ostree`/`bootc` systems? - Bazzite