On Mon, 17 Aug 2020 18:49:50 -0700, Stephen Boyd wrote:
> Add the 32-bit vdso Makefile to the vdso_install rule so that 'make
> vdso_install' installs the 32-bit compat vdso when it is compiled.

Applied to arm64 (for-next/fixes), thanks!

[1/1] ARM64: vdso32: Install vdso32 from vdso_install
      https://git.kernel.org/arm64/c/8d75785a8142

-- 
Catalin