[user@dom0 scripts]$ ./verify-stream-v2  -f xl -v -i /tmp-savefile 
Processed xl header
Libxl Header: little endian
Libxl Record: Libxc context, length 0
Libxc Image Header: little endian
Domain Header: x86 PV from Xen 4.6
Libxc Record: x86 PV info, length 8
  64bit guest, 4 levels of pagetables
Libxc Record: x86 PV P2M frames, length 14264
  Start pfn 0x0, End 0xdebff
Squashed 891 Page Data records together
Libxc Record: TSC info, length 24
  Mode 2, 0 kHz, 0 ns, incarnation 1
Libxc Record: Shared info, length 4096
Libxc Record: x86 PV vcpu basic, length 5176
  vcpu0 basic context, 5168 bytes
Libxc Record: x86 PV vcpu extended, length 64
  vcpu0 extended context, 56 bytes
Libxc Record: x86 PV vcpu xsave, length 856
  vcpu0 xsave context, 848 bytes
Libxc Record: x86 PV vcpu msrs, length 8
Stream Error:
Traceback (most recent call last):
  File "./verify-stream-v2", line 82, in read_stream
    VerifyLibxl(info, stream_read).verify()
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxl.py", line 82, in verify
    while self.verify_record() != REC_TYPE_end:
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxl.py", line 136, in verify_record
    record_verifiers[rtype](self, content[:length])
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxl.py", line 155, in verify_record_libxc_context
    VerifyLibxc(self.info, self.read).verify()
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxc.py", line 132, in verify
    while self.verify_record() != REC_TYPE_end:
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxc.py", line 227, in verify_record
    record_verifiers[rtype](self, content[:length])
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxc.py", line 429, in <lambda>
    VerifyLibxc.verify_record_x86_pv_vcpu_generic(s, x, "msrs"),
  File "/usr/lib64/python2.7/site-packages/xen/migration/libxc.py", line 323, in verify_record_x86_pv_vcpu_generic
    " bytes long" % (name, minsz))
RecordError: X86_PV_VCPU_msrs record length must be at least 8 bytes long