# CONFIG_SOUND_PRIME is not set