> Multiple EFI binaries may be executed in sequence. So if we already > are in non-secure mode after running the first one we should skip > the switching code since it no longer works once we're non-secure. > > Signed-off-by: Mark Kettenis <kettenis at openbsd.org> Thanks, applied to efi-next Alex