A GUI rEFInd UEFI boot picker install utility for OS X