[SeaBIOS] Re: [PATCH] malloc: Add check to avoid dereference NULL pointer.