exynos: remove kernel headers

* We can directly access the correct kernel header as part of the build
  process. Use that instead.

Change-Id: I680c866db42faa5db17a681975b6a1a5c3405c9f