On Sun, 5 Jun 2022, Thomas Klausner wrote:
Did I misunderstand the man page or is there a bug here?
Alrighty, this patch fixes it for me (also fixes PR# 53128):
---START---
diff -urN sys/arch/i386/stand/efiboot.orig/boot.c 
sys/arch/i386/stand/efiboot/boot.c
--- sys/arch/i386/stand/efiboot.orig/boot.c    2021-09-07 
11:41:31.000000000 +0000
+++ sys/arch/i386/stand/efiboot/boot.c    2022-06-05 06:50:39.139514564 
+0000
@@ -453,8 +453,10 @@
      } else {
          int i;
+#if 0
          if (howto == 0)
              bootdefault();
+#endif
          for (i = 0; i < NUMNAMES; i++) {
              bootit(names[i][0], howto);
              bootit(names[i][1], howto);
---END---
-RVP