[OpenBIOS] Move to github workflow?