Remove redundant headers

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

Change-Id: I4106e7671d810baf7d61f077eaab5bee5ac979fa