fix 1.7GHz kernel