[top, ibex, aon_timer] Connect watchdog bark to NMI

- Based on #7419, it is better to have watchdog as an NMI
  so that software can collect panic logs.

- This PR adds a simple mechanism to combine two NMI sources
  and present one NMI to ibex.  Each NMI has an enable
  mask and a state bit, it behaves almost identically to
  interrupts.

- The main difference is the enable-bit is one-way only.  Once
  enabled, the NMI cannot be disabled until next power cycle.
  The state however can still be cleared, in case software needs
  to operate outside of the NMI handler for any reason.

Signed-off-by: Timothy Chen <timothytim@google.com>
diff --git a/util/build_docs.py b/util/build_docs.py
index a8634fa..072cc2d 100755
--- a/util/build_docs.py
+++ b/util/build_docs.py
@@ -78,6 +78,7 @@
         "hw/top_earlgrey/ip/rstmgr/data/autogen/rstmgr.hjson",
         "hw/top_earlgrey/ip/sensor_ctrl/data/sensor_ctrl.hjson",
         "hw/top_earlgrey/ip/rv_plic/data/autogen/rv_plic.hjson",
+        "hw/ip/rv_core_ibex/data/rv_core_ibex.hjson",
         "hw/ip/rv_timer/data/rv_timer.hjson",
         "hw/ip/spi_host/data/spi_host.hjson",
         "hw/ip/spi_device/data/spi_device.hjson",