How do I create an entry in the boot menu for an UEFI system?