update mk file and kernel headers

Change-Id: I8944f9d3ae90bf4f73e383fb44364d871a982837