Attached is the kernel config I've used for testing this problem.

The machine is some generic Core 2 Duo in 64bit mode; GCC 4.5.2


-- 
dexen deVries

``One can't proceed from the informal to the formal by formal means.''