Fix TWRP build

Still need one edit to TWRP sources to export kernel headers

Change-Id: Ib9d652d938228cc420eb8948f200b3b037b6e04c