defconfig: Update to v1.4.2 and enable support for SELinux