Fixes for gcc 4.7 and HDMI with pmem

Change-Id: I11576000398dca7a4f7c72fd55d8b1d473873438