[SeaBIOS] [PATCH 6/6] Run ahci code entirely in 32bit mode.