Symbol: EFI_RANDOM_SEED_SIZE