# CONFIG_XILINX_XADC is not set