# CONFIG_ARCH_RANDOM is not set
