kernel coding style: spacing