installer: fix debian cpu frequency