Szerintem a dmesg-ben látni kéne a különbséget, az biztos, hogy mérhető volt. Ami fontos, hogy Xen 4.10, de inkább 4.11 kell ehhez minimum.