I can't tell you for sure whether the KB article will help, because there are already a couple of discussions reporting issues with Intel's "K" CPU models. However, according to the log file "Intel(R) Core(TM) i7-3770K CPU @ 3.50GHz" the proper entry should be:
host.cpukHz = "3500000"
André