[PATCH 05/10] arm64: Fix CONFIG_ARCH_RANDOM=n build