# CONFIG_SRF08 is not set