EFI framebuffer information, then nothing

From: Graham Perrin <grahamperrin_at_gmail.com>
Date: Tue, 19 Apr 2022 22:37:52 UTC
Sometimes, boot gets no further than EFI framebuffer information. 
Whenever this occurs, the computer will stop immediately in response to 
a simple, short press on the power button.

The two lines preceding framebuffer information (copy typed from a 
photograph):

staging 0xadc00000 (not copying) tramp 0xbecfe000 PT4 0xbecf5000
Start @ 0xffffffff80389000 ...


I can not make the issue consistently reproducible.

Originally, it seemed that the minority of boots were bugged. For a 
while, probably more than a week, the majority of boots were bugged 
(sometimes five or more successive failures). More recently, again, the 
minority of boots are bugged.

There's a strong sense of randomness, so I can not be certain that e.g. 
safe mode is a workaround.

At least once, boot failed whilst the notebook was un-docked and 
completely without peripherals.

Should I suspect any of the modules indicated below?

% cat /boot/loader.conf | grep -v \# | sort | tr -s '\n'

acpi_dock_load="YES"
acpi_hp_load="YES"
aesni_load="YES"
autofs_load="YES"
beastie_disable="NO"
boot_mute="NO"
boot_verbose="NO"
cpu_microcode_load="YES"
cpu_microcode_name="/boot/firmware/intel-ucode.bin"
cuse_load="YES"
efi_max_resolution="1600x900"
geom_eli_load="YES"
hw.pci.do_power_nodriver=3
hw.usb.no_boot_wait=0
kern.geom.label.disk_ident.enable="0"
kern.geom.label.gptid.enable="0"
kern.racct.enable=1
openzfs_load="NO"
screen.font="8x16"
sysctlbyname_improved_load="YES"
sysctlinfo_load="YES"
vboxdrv_load="YES"
verbose_loading="NO"
zfs_load="YES"
%

HP EliteBook 8570p, probed a few minutes ago:
<https://bsd-hardware.info/?probe=d9acb17caf&d=FreeBSD>

GELI encryption:

% lsblk ada0
DEVICE        MAJ:MIN SIZE TYPE                 LABEL MOUNT
ada0            0:119 932G GPT                      - -
   ada0p1        0:121 260M efi           gpt/efiboot0 -
   <FREE>        -:-   1.0M -                        - -
   ada0p2        0:123  16G freebsd-swap     gpt/swap0 SWAP
   ada0p2.eli    2:52   16G freebsd-swap             - SWAP
   ada0p3        0:125 915G freebsd-zfs       gpt/zfs0 <ZFS>
   ada0p3.eli    0:131 915G -                        - -
   <FREE>        -:-   708K -                        - -
%

Three photographs, the first of which is barely readable (sorry):

<https://i.imgur.com/waIVcpt.jpg> (2022-02-18 21:31)
<https://i.imgur.com/kmuZmnV.jpg> (2022-03-18 15:44)
<https://i.imgur.com/at7JBbp.jpg> (2022-04-17 18:58)