fix libsepol error

Change-Id: Ie665a8eb107523aa3408872de51113ef565cb461
Merge branch 'odroid_5410_master' of https://github.com/hardkernel/android into odroid_5410_master