[PATCH] i386: print kernel version in register dumps