user: Question: How many servers have a kernel version 3.11?
Columns: ['Version', 'Code name', 'Release date', 'Desktops', 'Servers', 'Kernel Version']
Types: ['text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['4.10', 'Warty Warthog', '20 October 2004', 'Old version, no longer supported: 30 April 2006', 'Old version, no longer supported: 30 April 2006', '2.6.8']
SQL:

assistant: SELECT COUNT("Servers") FROM "Table" WHERE "Kernel Version" = '3.11';