I can confirm this bug on a 64 bit Lenny. However, it only happens with the new 2.6.25 kernel, when I boot the older 2.6.24 or 2.6.22 kernels on the exact same system maxima does work as expected. I do not know maxima how closely interacts with the kernel, the problem might even be in one of its dependencies?