# CONFIG_SKY2_DEBUG is not set