Add check during boot for SELinux support

Change-Id: Ib02867c403d1baa665dfb1d4f3137204e64a813c