modify to make symbols defined with DEFKERNELCONST macro to implemented as symbol-macro