Comment 5 for bug 853686

Thanks a lot for the fast response, and sorry for the delay in my answer (holidays). I attached a console output from Debian's and Ubuntu's installers, that shows that indeed xen-netfront is needed and loaded (“Initialising Xen virtual ethernet driver”) in Debian but not in Ubuntu. I also attached a diff made after removing the kernel's timestamp and the lines containing too much control characters.