It's a fine fix, but it is kind of mixing two things, whether someone wants a timestamping feature with whether that feature will work. So anyone who uses rdtsc for a different reason is going to get burned the same way.
thanks ron -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
