# CONFIG_SRF04 is not set