Re: [Dev] UEFI boot: hangs at UEFI shell