# Name it the way some firmware expects -- see http://mjg59.dreamwidth.org/20187.html
$Efibootmgr -c -l $EfiEntryFilename -L "Windows Boot Manager" -d $InstallDisk -p $PartNum &> /dev/null
else
# Name it the way some firmware expects -- see http://mjg59.dreamwidth.org/20187.html
$Efibootmgr -c -l $EfiEntryFilename -L "Windows Boot Manager" -d $InstallDisk -p $PartNum &> /dev/null
else