[SeaBIOS] Re: Malloc Question