Re: [opensuse-kernel] [PATCH] ARM64: Fix support for ARMv7 userspace