p500: Enable selinux support

Change-Id: I5f52d46953b594f877dc573bd2ab16a9368bd3ae