efi_variables_supported
int efi_variables_supported(void);
if (!efi_variables_supported() && !opts.find_dev) {