hal: Add sound card update API

Add API to notify platform when sound card
status is changed. Use function to reinitialize
ACDB-loader or resend common custom topology.

Change-Id: I59198f0ad8412ddc0d379b0c39a7807d6e22f4f7
diff --git a/hal/platform_api.h b/hal/platform_api.h
index 8875fcb..d9fe0c0 100644
--- a/hal/platform_api.h
+++ b/hal/platform_api.h
@@ -26,8 +26,6 @@
 
 void *platform_init(struct audio_device *adev);
 void platform_deinit(void *platform);
-int platform_is_acdb_initialized(void *platform);
-int platform_acdb_init(void *platform);
 const char *platform_get_snd_device_name(snd_device_t snd_device);
 int platform_get_snd_device_name_extn(void *platform, snd_device_t snd_device,
                                       char *device_name);
@@ -91,6 +89,8 @@
 /* From platform_info_parser.c */
 int platform_info_init(const char *filename);
 
+void platform_snd_card_update(void *platform, int snd_scard_state);
+
 struct audio_offload_info_t;
 uint32_t platform_get_compress_offload_buffer_size(audio_offload_info_t* info);
 uint32_t platform_get_pcm_offload_buffer_size(audio_offload_info_t* info);