NOVA uses a 10ms window to calibrate its clock: lapic.cc

In seoul, NOVA ends up with extremely high clock frequencies (12 GHz for me). A workaround is to change that code to delay(1000) (and adapt the freq_* calculations).

Seoul's wallclock (rdtsc) / timeout handling might need some love.