[SeaBIOS] Malloc Question