Remove redundant headers

The HAL makefiles now fetch these directly from the kernel source
tree

Change-Id: I4106e7671d810baf7d61f077eaab5bee5ac979fa
Merge remote branch 'upstream/cm-10.1' into cm-10.1