Time zone type variable as int doesn't work

...because Form API returns integer keys as strings.

Symptom: Site time zone is broken currently. It works, but if you reload the Clock config form, the default value is wrong, so if you just save it without changing anything, you're back to custom time zone.