Index: UPDATING
===================================================================
--- UPDATING
+++ UPDATING
@@ -30,7 +30,8 @@
 20240813:
 	DMAR is now enabled by default on Intel. If your system crashes in the
 	dmar code on boot, please set 'hw.dmar.enable=0' in /boot/loader.conf
-	and file a bug.
+	and add details to PR280817 (including information about your machine
+	and the crash).
 
 20240729:
 	The build now defaults to WITHOUT_CLEAN - i.e., no automatic clean