Re: [SeaBIOS] [PATCH] fix parallel compilation of SeaBIOS