[SeaBIOS] [PATCH 0/3] ahci: 32bit mode patches

[Gerd Hoffmann]

On Di, 2013-11-26 at 14:23 +0100, Gerd Hoffmann wrote:
>   Hi,
> 
> The ahci driver has recently been changed to run completely in 32bit mode.
> This is a followup patch series for this, removing real mode memory
> access macros not needed any more and also moving data structures out
> of real mode address space.

Pushed, with the discussed fixup for patch #3.

cheers,
  Gerd