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