Use kernel headers

Change-Id: Ie8cf1b6a4552aa4af48a8ecc6de337cfe9bc385d