gnu-efi-3.0.12-1.mga8.src.rpm build ok