[PATCH] watchdog: add nmi_watchdog support for arm64 based on SDEI