Actually.... you don't care where the current kernel was loaded from, you 
really want to know what kernel corresponds to the coredump you're 
extracting from swap.  I think it makes more sense to store that 
information in the dump header rather than try to extract it from some 
system image

Eduardo