Hi,

I just tested this branch and found that the system gets stuck on
initializing the AHCI controller (AMD SB600).
Please find the error messages attached as png (unfortunately netconsole
doesn't work either)

When booting the same kernel natively without xen, all works fine
(including netconsole).


Patrick