[PATCH v2 03/17] vdso: Add __arch_get_k_vdso_rng_data()