defconfig: lexikon: update SELinux with mako config

Change-Id: Ia3ed74c8280dfa316d5023adadd0624a29cea772