[PATCH kernel-4.19 08/11] share_pool: Rename buff_vzalloc_user and buff_vzalloc_hugepage_user