# CONFIG_ATH9K_HWRNG is not set