Fix TWRP building.

Not sure exactly what's required of this, but without it TWRP wasn't booting anymore.

Change-Id: I261f7622f45f737a9084f2beeb9c1f8c19388d80