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