Intel watchdog timer driver device manager