After testing several other kernels, I think I have found the root cause: Geode LX does not support PAE. How could I have missed that, sorry for the noise. I don't know how to close this bug properly myself.