https://xenserver.org/blog/entry/xenserver-6-5-can-do-true-uefi-boot.html