More kernel coding style fixups