The original kernel image object file, such as vmlinux in Linux, is consulted when it is desired to update symbols (variables or functions) that were not exported in the original kernel source.