Re: [LinuxBIOS] [PATCH] fix build race in LBv3