Thor's Kernel apparently uses some scripts that are left behind when you flash a new kernel. The only way, to my knowledge, to get rid of the "extra" stuff is to flash a ROM with A kernel other than Thor's. Just as you did.
I see you have an SGS 2. Over in the ATT i777 SGS2 forum, Jivy26...