+
+ # Decide which is my grub_ext partition. see partition.DEFAULT file
+ # for details
+ if [[ $(blockdev --getsize64 ${dev}4) == 8388608 ]]; then
+ # Old partition scheme
+ grub_extn=${dev}4
+ elif [[ $(blockdev --getsize64 ${dev}5) == 8388608 ]]; then
+ grub_extn=${dev}5
+ else
+ grub_extn=${dev}7
+ fi
+ fi