smdk4412: Use the USB audio HAL for external devices

 * I recently fixed several issues in the usbaudio HAL, making it able
   to handle arbitrary audio devices connected via OTG.
 * Point the dock outputs to the correct place in order to get audio.

 ** Due to a broken transaction translator in the USB hardware (yay
   Exynos4), you may need to connect certain devices thru a powered USB
   2.0 hub in order for them to work.

Change-Id: I326d257090a1b59293ccbacac26c106e72ce6ee7
(cherry picked from commit 52f5450e74a434a0f422b36fd0c760c27fa9dd80)
smdk4412: update proprietary files script

Change-Id: I17ccde9ead0f53ee78e951a525e29501e1bcc65b
(cherry picked from commit 3e1c1bf431401082b43edb04c6fd03924beff6a5)