[OpenBIOS] Re: [PATCH 0/4] Add GitHub workflows to generate OpenBIOS binaries