branches: 1.2.2; 1.2.18;
make '$e' in here the whole structure instead of a pointer, to combine
several pointer derefs into one speaking this up significantly.

add a gdb script to dump kernel histories. based upon a script by skrll,
updated by myself to run faster and more stupidly (but more workingly.)

normal gdb scripts don't seem to be able to call printf with the format
string as a variable, so we simply print the format itself as a string
and the (upto 4) arguments as unsigned long (how they're strored.)