That is true. My guess is that nobody really migrates HVM guests without
PV drivers installed (it's not even possible on XenServer but xl let you
do that if you want to). When the PV drivers initialize at boot time,
the IDE disk is closed. Therefore we wouldn't have this problem.
Maybe we should prevent HVM guest migration without PV drivers with xl
too. Ian, what do you think?