Very nice guide.
I still had to struggle to actually pass the USB controller. I make a small note to spare the trouble to anyone else :
It's not just about the xml file and BIOS, boot parameters also need to be adjusted :
It's mentionned (mentioned?) here https://lime-technology.com/forum/index.php?topic=35070.msg327239#msg327239,
thank you!