So I decided to make a kernel a few week back and it has been going really well. But lately I have had the issue that the default value of scaling_max_freq is a value above stock when the device has booted. This is not great since it can lead to some devices miscalculating and crashing I immediately after booting, but I can't find a way to do it, preferably without modifying the system partition. Any ideas?