[PATCH v3 07/28] efi_loader: Move some memory-function comments to header