Re: r336921 broke booting on MBP 2017, EFIRT related

I met similar panic on my ASUS ROG GL553VE:

module_register_init: MOD_LOAD (vesa, 0xffffffff80a9dd30, 0) error 19
random: registering fast source Intel Secure Key RNG
random: fast provider: "Intel Secure Key RNG"
nexus0

Fatal trap 12: page fault while in kernel mode
cpuid = 7; apic id = 07
fault virtual address   = 0x0
fault code                 = supervisor read data, page not present
instruction pointer     = 0x20:0x7b3cede8
stack pointer            = 0x28:0xffffffff81edb7e8
frame pointer            = 0x28:0x0
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 0x7b3cede8:        cmpq        %r10,(%r8,%rdx,8)

It then hanged, so I could'nt even get a backtrace. However, removing
"option EFIRT" from the config fixed it.