[PATCH 008/552] powerpc/archrandom: fix arch_get_random_seed_int()