const efi_file_read_only: u64 = 1;