[OpenBIOS] Re: [PATCH 0/2] gcc 9 build fixes