kernel coding style: proper comments