Debian packaging for CPU frequency plugin for GKrellM