Prepared KernelResolver.c to resolve symbols via kernel image file (not working).