fix incompatibility issues to KVM API on a x86_64 processors
fix incompatibility issues to KVM API on a x86_64 processors

RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore