drivers/misc/sgi-gru/grukdump.c: cleanup gru_dump_context() a little