add back old version of flex for grub2
Merge pull request #2193 from aristidb/master

add back old version of flex for grub2