Re: Debian boot failure with UEFI runtime variables enabled