OpenBSD: Intel Core 2 Bugs