# CONFIG_UWB_WHCI is not set
