DEFCONFIG: support for ultrasound_a