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