===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -r1.31 -r1.32
--- www/arm64.html	2020/04/15 23:34:28	1.31
+++ www/arm64.html	2020/05/19 02:02:10	1.32
@@ -61,11 +61,10 @@
 </pre>
 
 <p>
-The Raspberry Pi 4 is only supported when using EDK2-based UEFI
-firmware.  By default the boot ROM will only try to load the firmware
-off an SD card.  As with the Raspberry Pi 3 there is no SD/MMC driver
-yet, but there are no manual steps needed to boot from a USB disk
-drive.
+The Raspberry Pi 4 is only supported when using EDK2-based UEFI firmware.
+By default the boot ROM will only try to load the firmware off an SD card.
+As with the Raspberry Pi 3, there is no SD/MMC driver yet, but there are
+no manual steps needed to boot from a USB disk drive.
 
 <p>
 Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
@@ -183,15 +182,11 @@
 
 <p>
 The latest supported OpenBSD/arm64 release is
-<a href="66.html">OpenBSD 6.6</a>.
+<a href="67.html">OpenBSD 6.7</a>.
 Here are the
-<a href="https://ftp.openbsd.org/pub/OpenBSD/6.6/arm64/INSTALL.arm64">
+<a href="https://ftp.openbsd.org/pub/OpenBSD/6.7/arm64/INSTALL.arm64">
 OpenBSD/arm64 installation instructions</a>.
 
-<p>
-Support for Pinebook Pro and Raspberry Pi 4 was added after OpenBSD
-6.6 was released.
-  
 <p>
 Snapshots are made available from time to time, in
 <a href="https://cdn.openbsd.org/pub/OpenBSD/snapshots/arm64">this location</a>