Re: [SeaBIOS] POST Memory Manager emulation in SeaBIOS