openbios-20200725-4.git7f28286.mga10.src.rpm build ok