Use Kernel headers

Change-Id: I3dd1c13d70bd1bfa5c54bcd61fdbcc1cdae00042