Re: [PATCH] efi/x86: use naked RET on mixed mode call wrapper