ebp not restored in biosdisk_standard

[Pavel Roskin]

Hello!

%ebp is not restored on exit in biosdisk_standard()
Following patch against the CVS sources makes GRUB work (unfortunately
still without menu.lst) on my i486 machine:

=== cut here ===
--- shared_src/asm.S.v0 Sat Apr 24 11:23:15 1999
+++ shared_src/asm.S    Sat May  1 22:52:33 1999
@@ -458,6 +458,7 @@
        popl    %edx
        popl    %ecx
        popl    %ebx
+       popl    %ebp

        ret

=== cut here ===

Pavel Roskin