According to Theo de Raadth http://marc.info/?l=openbsd-misc&m=118296441702631 latest Intel Core 2 Duo processors are buggy as hell. What counter-measures are taken within FreeBSD community?