[SeaBIOS] [RFC] SeaBIOS v2.0 and 32bit drivers