Jeremy White : kernel: Fixed build with gcc 2.95.