also using
set_cx86_inc was one of performance trick called by geode_configure
I didn't find any documentation about "incrementor margin" before.
But since I'm running on 300MHz GX1 the default kernel is now broken for me!
I will try your patch
But again, if those tricks are so system dependent I suggest to kernel
people to let disable it in default configuration.
Marco
-