pico_defconfig : Add remaining configs for SELinux