How many servers have a kernel version 3.11?
CREATE TABLE "table1_19264489_1" (
  "version" text,
  "code_name" text,
  "release_date" text,
  "desktops" text,
  "servers" text,
  "kernel_version" text
);
SELECT COUNT("servers") FROM "table1_19264489_1" WHERE "kernel_version"='3.11';