Wider neverallow rules for coredomain /dev access.

am: 2725edc6

Change-Id: Id49312c4ad3edf1b2837d041c80cfc9a02e927ae

private/coredomain.te

@@ -169,12 +169,12 @@ full_treble_only(`
   }{ usbfs binfmt_miscfs }:file no_rw_file_perms;
 ')
 
-# Following /dev nodes must not be directly accessed by coredomain after Treble,
-# but should instead be wrapped by HALs.
-full_treble_only(`
+# Following /dev nodes must not be directly accessed by coredomain, but should
+# instead be wrapped by HALs.
 neverallow coredomain {
   iio_device
   radio_device
-    tee_device
+  # TODO(b/120243891): HAL permission to tee_device is included into coredomain
+  # on non-Treble devices.
+  full_treble_only(`tee_device')
 }:chr_file { open read append write ioctl };
-')