sgxfreq: limit frequency to default on boot