Re: Debugging Fedora UEFI boot problems on Intel DQ77MK