Provide a sober description of how control can be returned by a UEFI
binary.
Signed-off-by: NHeinrich Schuchardt <xypron.glpk@gmx.de>