Just for the record, this has been thoroughly discussed and in the end we decided to go with upstream per architecture defaults for CONFIG_HZ. The conclusion was that the upstream defaults perform well enough in benchmarks and on the top of that we are using the most tested and stable variants.