Re: [OS-BUILD PATCH 4/4] kernel.spec: allow to enable arm64_16k variant