[OpenBIOS] Re: Move to github workflow?