Re: [OpenBIOS] Updated patches