4gb seg fixup on debian

linux02:~# apt-get install libc6-xen

trying this on debian.

Updates:

after install libc6-xen successfully, you need to fire:

echo 'hwcap 0 nosegneg' > /etc/ld.so.conf.d/libc6-xen.conf && ldconfig

Then reboot.. message gone! :)

another debian problems solved.