Before I file a Bugzilla, has anyone have problems with kernel-3.8.2-206.fc18.x86_64?

It will not boot in my machine.  Asus P5K Delux, Core2 Quad CPU @ 2.40GHz, 6GiB