Re: [OS-BUILD PATCH] aarch64: enable uki