[SeaBIOS] [RFC] [PATCH 1/2] Implement support for transitioning from 16 bit to 32 bit

[Gerd Hoffmann]

   Hi,

> Looks like call32 doesn't work when %esp>64K.  I hacked a patch (see
> below), but it's quite ugly.

Does the trick though, at least for grub/syslinux booting from ahci.

http://cgit.freedesktop.org/~kraxel/seabios/log/?h=ahci

cheers,
   Gerd