Установлено 12 Гб, обычное ядро видит целиком, а при загрузке Xen ядра 2.6.32-5-xen-amd64 с Xen 4.0.1 доступно только 9 (по данным free и xm list).
В dmesg заметил следующее сообщение:
Memory: 10942216k/12301148k available (3146k kernel code, 1057736k absent, 301196k reserved, 1901k data, 600k init)