panic when loading mlxen

[Daniel Braniss]

with latest stable (r328769) when I have
	mlxen_load=“YES”
in my loader.conf it panics:

KDB: debugger backends: ddbsize 0x4638 at 0x22d6000                             f
KDB: current backend: ddb
Copyright (c) 1992-2018 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
       The Regents of the University of California. All rights reserved.
FreeBSD is a registered trademark of The FreeBSD Foundation.
FreeBSD 11.1-STABLE #18: Fri Feb  2 10:46:12 IST 2018
   danny at pe-44:/home/obj/pe-44/net/rnd/r+d/stable/11/sys/HUJI amd64
FreeBSD clang version 5.0.1 (tags/RELEASE_501/final 320880) (based on LLVM 5.0.1)
VT(vga): resolution 640x480
CPU: Intel(R) Xeon(R) CPU           E5507  @ 2.27GHz (2261.04-MHz K8-class CPU)
 Origin="GenuineIntel"  Id=0x106a5  Family=0x6  Model=0x1a  Stepping=5
 Features=0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,C>
 Features2=0x9ce3bd<SSE3,DTES64,MON,DS_CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,DCA>
 AMD Features=0x28100800<SYSCALL,NX,RDTSCP,LM>
 AMD Features2=0x1<LAHF>
 VT-x: PAT,HLT,MTF,PAUSE,EPT,VPID
 TSC: P-state invariant, performance statistics
real memory  = 25769803776 (24576 MB)
avail memory = 24931561472 (23776 MB)
Event timer "LAPIC" quality 100
ACPI APIC Table: <DELL   PE_SC3  >
FreeBSD/SMP: Multiprocessor System Detected: 8 CPUs
FreeBSD/SMP: 2 package(s) x 4 core(s)
ioapic1: Changing APIC ID to 1
ioapic0 <Version 2.0> irqs 0-23 on motherboard
ioapic1 <Version 2.0> irqs 32-55 on motherboard


Fatal trap 12: page fault while in kernel mode
cpuid = 0; apic id = 10
fault virtual address   = 0x1818
fault code              = supervisor write data, page not present
instruction pointer     = 0x20:0xffffffff80ad427f
stack pointer           = 0x28:0xffffffff822e3be0
frame pointer           = 0x28:0xffffffff822e3c30
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 (swapper)
[ thread pid 0 tid 100000 ]
Stopped at      taskqgroup_attach_cpu+0x4f:     lock cmpxchgq   %r12,(%rdi)