Por que o kernal do FreeBSD falha no boot do UEFI?

Question

Eu baixei recentemente a distribuição do FreeBSD 10.2 do site oficial; Eu usei o ' FreeBSD-10.2-RELEASE-amd64-uefi-memstick.img arquivo .xz '. Eu usei o MS ImageWriter para criar uma imagem de um USB e iniciei o UEFI no stick. Aparentemente, o stick inicializa e o kernel é iniciado. Logo, no entanto, falhas e relata a seguinte mensagem de erro:

kernel trap 12 with interrupts disabled

Fatal trap 12: page fault while in kernel mode
cpuid = 0; apic id = 00
fault virtual address   = 0xd5
fault code              = supervisor read data, page not present
instruction pointer     = 0x20:0xffffffff80bcf206
stack pointer           = 0x28:0xffffffff814f1d70
frame pointer           = 0x28:0xffffffff814f1df0
code segment            = base 0x0, limit 0xfffff, type 0x1b
                        = DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags        = interrupt enabled, resume, IOPL = 0
current process         = 0 ()
trap number             = 12
panic: page fault
cpuid = 0
KDB: stack backtrace:
#0      0xffffffff80984e30 at ??+0
#1      0xffffffff809489e6 at ??+0
#2      0xffffffff809488b3 at ??+0
#3      0xffffffff80d4aadb at ??+0
#4      0xffffffff80d4addd at ??+0
#5      0xffffffff80d4a47a at ??+0
#6      0xffffffff80d307f2 at ??+0
#7      0xffffffff80bc2d80 at ??+0
#8      0xffffffff80bc2c57 at ??+0
#9      0xffffffff80d4ac8c at ??+0
#10     0xffffffff80d4a47a at ??+0
#11     0xffffffff80d307f2 at ??+0
Uptime: 1s

Esta mensagem de erro não muda de inicialização para inicialização. Eu sei que o suporte ao UEFI é novo, mas não deve ser quebrado. O que está acontecendo com o kernel? Quão severa e generalizada é esse erro?

Notas:

Eu digitei a mensagem de erro: pode conter erros de digitação.

O USB inicializa corretamente no modo CSM, e eu posso instalar o FreeBSD de lá, no formato da BIOS presumivelmente.

Estou usando um computador Toshiba Satellite, adquirido recentemente. O único hardware que eu notei sem ter nenhum driver padrão do FreeBSD é a placa de rede RealTek.