[PATCH v4 07/25] efi_loader: Move some memory-function comments to header