===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- www/arm64.html	2017/04/02 02:16:09	1.6
+++ www/arm64.html	2017/04/06 05:37:39	1.7
@@ -54,11 +54,20 @@
 <p>
 The Raspberry Pi 3 requires closed but redistributable files on the
 system disk to load into the VC4 GPU which starts the ARM cores.
-The boot ROM will only try to load these files off an SD card unless a
-special config.txt value is set to irreversibly enable USB boot mode.
+By default the boot ROM will only try to load these files off an SD card.
 These files are present in the install media but there is no driver
 for SD/MMC yet so a USB disk drive and manual steps are required.
+To load the firmware off the SD card and have the root disk on USB
+after installing OpenBSD reboot and interrupt U-Boot before the timeout
+expires and instruct U-Boot to prefer USB over the SD card:
 </p>
+
+<blockquote><pre>
+Hit any key to stop autoboot:  0
+U-Boot&gt; setenv boot_targets usb0 mmc0 pxe dhcp
+U-Boot&gt; saveenv
+U-Boot&gt; boot
+</pre></blockquote>
 
 <p>
 Opteron A1100 machines on the other hand come with a UEFI firmware