The original kernel image object file is consulted (e.g. with -R vmlinux in Linux) when it is desired to update symbols (variables or functions) that were not exported in the original kernel source.