# CONFIG_CLK_HSDK is not set