which can be boosted up to 4 GHz depending on the workload