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