Use kernel headers

Change-Id: I384842b394e26bedd711ddc23ed0f2c82d497855

Signed-off-by: Nathan Chan <e334cn@gmail.com>