Re: TC4 UEFI issues