[Bug 278627] New: makedumpfile outputs wrong kernel version