Symbol: efi_random_alloc