MiWriteProtectSystemImage: "Assertion failed" during Stage 2, on Test VBox

...

(ntoskrnl/mm/ARM3/sysldr.c:176) Loading: \SystemRoot\system32\drivers\drmk.sys at F6CB0000 with a pages

Assertion failed at /srv/buildbot/Build_GCCLin_x86/build/ntoskrnl/mm/ARM3/sysldr.c(2483): ALIGN_UP_POINTER_BY(SectionEnd, PAGE_SIZE) == Add2Ptr(ImageBase, NtHeaders->OptionalHeader.SizeOfImage)

Entered debugger on first-chance exception (Exception Code: 0xc0000420) (Assertion Failure)

kdb:>

 bt

Eip:

<ntoskrnl.exe:ceefc (sdk/include/crt/mingw32/intrin_x86.h:1586 (MiWriteProtectSystemImage))>

Frames:

<ntoskrnl.exe:cfd76 (ntoskrnl/mm/ARM3/sysldr.c:3186 (MmLoadSystemImage))>

<ntoskrnl.exe:6005d (ntoskrnl/io/iomgr/driver.c:409 (IopLoadServiceModule))>

<ntoskrnl.exe:7f368 (ntoskrnl/io/pnpmgr/pnpmgr.c:3022 (IopActionInitChildServices))>

<ntoskrnl.exe:78a98 (ntoskrnl/io/pnpmgr/plugplay.c:1064 (NtPlugPlayControl))>

<ntoskrnl.exe:13635e (ntoskrnl/include/internal/i386/ke.h:730 (KiSystemServiceHandler))>

<ntoskrnl.exe:3da9 (:0 (KiFastCallEntry))>

<ntdll.dll:f30d>

<rpcrt4.dll:1bf98>

<rpcrt4.dll:1e828>

<rpcrt4.dll:1ef9b>

<rpcrt4.dll:2fd5d>

<rpcrt4.dll:30074>

<ntdll.dll:3dbd7>

<ntdll.dll:3deda>

<kernel32.dll:1baca>

<00000000>

kdb:>

libvirt: VirtualBox Driver error : unsupported flags (0x1) in function vboxDomainReboot

libvirt: VirtualBox Driver error : internal error: could not delete the domain, rc=80bb0007

[SYSREG] Stage took: 9.297138 seconds