Unter Debian mit Xen-Kernel zeigt die Dom0 nur rund 3,5 GigaByte Gesamtspeicher.
Mit viel Suchen ist das Problem letztendlich in einem fehlerhaften Pointer im Grub-Bootmanager aufgetaucht.
Warum dies nur mit dem Xen-Kernel auftaucht und nicht mit dem std. Kernel entzieht sich meiner Kenntnis.
Lösung:
Wie üblich in Kurzform:
cd /usr/local/src
apt-get source grub
apt-get build-dep grub
cd grub-0.97/
#Backup und Bearbeiten
cp -a stage2/common.c stage2/common.c.original
vim stage2/common.c
#suchen nach der Zeile:
# unsigned long cont, memtmp, addr;
#und aufteilen in zwei und setzen von "volatile":
# unsigned long memtmp, addr;
# volatile unsigned long cont;
#kompilieren und installieren
debian/rules binary
cd ..
dpkg -i grub_0.97-27_i386.deb
#Grub-Bootloader schreiben
grub-install /dev/hda