It should not be too difficult to adapt millis and micros to a 20MHz crystal. Maybe a new Entry in boards.txt is sufficent.