if [ "$grub_platform" = "efi" ]; then
menuentry $"UEFI Firmware Settings" --id 'uefi-firmware' {
fwsetup } fi
