[OS-BUILD PATCH] redhat: ark: enable CONFIG_IKHEADERS