Re: [OS-BUILD PATCH] configs: set CONFIG_PTE_MARKER for ARK