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