update primes_efi