[PATCH 05/13] efi_loader: Move some memory-function comments to header