trident: hopefully found the clock divider bit used by the BIOS, refresh rates should now be pretty correct.