Non devi andare a toccare il core. Devi semplicemente impostare i registri per ottenere ciò che vuoi nel tuo sketch.
Il core di Arduino preimposta i timer per funzionare in una certa maniera (Fast PWM o Phase Correct PWM, a seconda dei timer), ma tu puoi nel tuo sketch cambiare questi setup.