Use Cyanogenmod libsepol to allow busybox compilation