[PATCH 03/10] arm64: Implement archrandom.h for ARMv8.5-RNG