[PATCH v5 06/23] efi_loader: Move some memory-function comments to header