Re: [SeaBIOS] Problems with parallel build and SeaVGABIOS