Kernel coding style: whitespaces