Device trees should specify `clock-frequency` property for `/cpus/cpu*` nodes