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