- bnc#884831 - uefi Xen bootloader is not automatically inserted
  as an efi boot option
- 3.1.15