Update selinux
Merge remote-tracking branch 'PA/kitkat' into kitkat-legacy