Add support for SELINUX_DEFCONFIG

Change-Id: Id26dfe346902b4a42dc0e9057035c5e6395b4328