[flashrom] Re: GitHub PRs