(In reply to Alex Deucher from comment #1) > Can you try a more recent kernel? 4.8 or 4.9? I added a DomU startup log from a 4.9 series kernel. The result is the same in 4.8.