Re: [RFC] Systemd-boot and EBBR