$ cat /boot/grub2/grub.cfg
http://pastebin.com/p8TQ3UtL
Ovde je ceo grub.cfg naravno nisam ga pisao rucno nego preko /etc/grub.d i /etc/default/gru
Ovde izgleda ima sve. I xen i iommu. Ali kad restartujem kompjuter, nema nista. Mora da postoji jos neki grub.cfg koji ono zapravo koristi. Da koristi ovaj cfg, sve bi bilo u ok.