Symbol: efi_get_random_bytes