EFI_RANDOM_SEED_SIZE
size = min(seed->size, EFI_RANDOM_SEED_SIZE);
EFI_RANDOM_SEED_SIZE, seed->bits);
EFI_RANDOM_SEED_SIZE, seed->bits);
offset = EFI_RANDOM_SEED_SIZE;
int prev_seed_size = 0, seed_size = EFI_RANDOM_SEED_SIZE;