Fix NMI_WATCHDOG config check.
rdw: ThinkPad Mini Dock Series 3 and Plus Series 3 models share same usb id (17ef:100a).