Try to fix UEFI boot issue (sonic-net#49)

Author: tirupatihemanth

installer/default_platform.conf

@@ -581,17 +581,11 @@ cp $tmp_config /boot/efi/EFI/debian/grub.cfg
 # Add extra linux command line
 echo "EXTRA_CMDLINE_LINUX=$extra_cmdline_linux"
 GRUB_CMDLINE_LINUX="$GRUB_CMDLINE_LINUX $extra_cmdline_linux"
-GRUB_CFG_LINUX_CMD=""
-GRUB_CFG_INITRD_CMD=""
-if [ "$firmware" = "uefi" ] &&  expr "$secure_boot_state" : '[[:digit:]]\{1,\}' >/dev/null && [ "$secure_boot_state" -eq "$ENABLED" ]; then
-    # grub.cfg when BIOS is UEFI and support Secure Boot
-    GRUB_CFG_LINUX_CMD="linuxefi"
-    GRUB_CFG_INITRD_CMD="initrdefi"
-else
-    # grub.cfg when BIOS is Legacy
-    GRUB_CFG_LINUX_CMD="linux"
-    GRUB_CFG_INITRD_CMD="initrd"
-fi
+
+# Sonic grub 2.12-9 in Debian 13 drops use of 'linuxefi' and 'initrdefi' for UEFI systems.
+# The same command now works for both BIOS and UEFI systems.
+GRUB_CFG_LINUX_CMD="linux"
+GRUB_CFG_INITRD_CMD="initrd"
 
 cat <<EOF >> $grub_cfg
 menuentry '$demo_grub_entry' {