[OpenBIOS] Re: [PATCH 3/4] .github/workflows: add main.yml for building OpenBIOS upon push