Merge "Seandroid: Add policy for dts configurator and notifier nodes"