fix libsepol error

Change-Id: I762ce1ba4075781530d668cd2041a98c56acb5c1
Merge branch '4412_4.4.4_master' of https://github.com/hardkernel/android into 4412_4.4.4_master