[Bug 278627] makedumpfile outputs wrong kernel version