drivers/misc/sgi-gru/grutlbpurge.c: removed duplicated #include