Fix prebuilt kernel

Change-Id: Ib7d81e2ef844f6399d0ead1856fe4703b2ebfecc
Add support for device specific overlays

Change-Id: I80a2dbd79937d69eac2b63a09e12e3b3bdb1b7aa
TWRP setup for xt925

Thanks hashcode

Change-Id: I6ab04cf3644316b1ffb7f9dad5e887d0edbbd6f7
Change setup for TWRP recovery build

Thanks hashcode

Change-Id: Ide05316265bd0bd22fc4b7b62e7a7d1b3c4c0d87