[Bug 400801] guest VM shows different memory allocation from configured in XEN VM Manager