[Bug 48674] Dell Latitude E7250 System BIOS flash utility crashes on startup ('DBUtil_2_3.sys' driver needs 'ntoskrnl.exe.MmAllocateContiguousMemorySpecifyCache' implementation)