smdk4412-common: build ExynosHWCService and ExynosIPService

Required for Binary HWComposer

Change-Id: Ida3a12a7a8a6060bca6909c61454919b42d17bd9
smdk4412-common: enable HDMI support and update flags for HWC

Change-Id: Iad10a8e8fae952b4c40ccaf6f6b03aac48199d17
smdk4412-common: use prebuilt HWComposer

Change-Id: Iac77bdb0f60c4f5252b9d32e1d238b51f5ecd6a9