[PATCH 15/15] efi_loader: Add documentation for the EFI log