The diff pci info on source (after hotplugging) and destination host (after migration):
< BAR1: 32 bit memory at 0xfd600000 [0xfd600fff].
< BAR4: 64 bit prefetchable memory at 0xfb200000 [0xfb203fff].
---
> BAR1: 32 bit memory at 0xffffffffffffffff [0x00000ffe].
> BAR4: 64 bit prefetchable memory at 0xffffffffffffffff [0x00003ffe].
172,173c172,173
< BAR1: 32 bit memory at 0xfd400000 [0xfd400fff].
< BAR4: 64 bit prefetchable memory at 0xfb000000 [0xfb003fff].
---
> BAR1: 32 bit memory at 0xffffffffffffffff [0x00000ffe].
> BAR4: 64 bit prefetchable memory at 0xffffffffffffffff [0x00003ffe].