[SeaBIOS] Re: [PULL 0/1] Seabios 20191106 patches