On Feb 03 14:41, Matt Fleming wrote:
> Alexandra, any chance you could try out a v3.14-rc1 kernel? Basically
> all of the EFI memory mapping code was rewritten for v3.14.

v3.14-rc1: kmemleak complains about acpi code plus the same crash in
efi.  Log and config attached.

I'll ask my system administrator for BIOS update.

-- 
Alexandra N. Kossovsky
OKTET Labs (http://www.oktetlabs.ru/)