What's the ht for the model released on June 4, 2008?
CREATE TABLE "lion_65_nm" (
  "model_number" text,
  "frequency" text,
  "l2_cache" text,
  "ht" text,
  "mult_1" text,
  "voltage" text,
  "tdp" text,
  "socket" text,
  "release_date" text,
  "order_part_number" text
);
SELECT "ht" FROM "lion_65_nm" WHERE "release_date"='June 4, 2008';