[RFC] Systemd-boot and EBBR