[openFATE 307171] Use Device Manager instead of the standard Device Notifier