Here are some kernel configs that may be helpful for compiling a 3.4.x
Linux kernel. The 3.4.x series was tested here, but there's a problem
where on about 10% of the boots on my machine, clocksource hpet will be
selected instead of clocksource tsc, and the kernel will oops. However,
passing clocksource=hpet at boot works fine.

It seems safer to stick to the 3.2.x series for release...