Bring in the documentation from the efi_loader.h header file, so we can see the API defined there. Fix efi_alloc() to avoid a warning. Signed-off-by: Simon Glass <sjg@chromium.org> Suggested-by: Heinrich Schuchardt <xypron.glpk@gmx.de> Reviewed-by: Ilias Apalodimas <ilias.apalodimas@linaro.org>