Fix gcc 4.5.1 miscompiling drivers/char/i8k.c (again)