kernel coding style: braces