FreeBSD 11.1-release - verbose boot causes the machine to restart

[Torfinn Ingolfsen]

Ok, this I haven't seen before.
I just installed FreeBSD 11.1-release on a quite new machine[1]. The machine is an ASRock BeeBox-S 7100U, a quite "normal" NUC-form machine with a i3-7100U (Kaby Lake) and an internal SSD.
Installation went great (I only had to manually copy /boot/boot1.efi to the correct EFI partition. Yes - there are other operating systems on the internal SSD), and the machine boots and works normally.

However, if I select verbose boot from the boot menu, the kernel starts spitting out kernel messages and after a while the machine restarts.
Afterwards (after a normal boot) there is no sign of this unusal activity either in dmesg output, /var/log/messages or /var/crash.

Is this something developers want to know more about? If so, pointers on howe to debug this further is appreciated.
Details (including dmesg outpuyt from a normal boot) on the FreeBSD page[2] of this machine.

References:
1) https://sites.google.com/site/tingox/asrock_beebox-s_7100u
2) https://sites.google.com/site/tingox/asrock_beebox-s_7100u_fbsd
-- 
Torfinn Ingolfsen <torfinn.ingolfsen at getmail.no>