Richard Mittendorfer <delist@gmx.net> writes: >> > Did you try with an updated dom0 kernel as well? 64bit dom0 seems to shutdown and reboot properly.