Hi, I installed coreboot(4.1-315-gf58746b) on a ThinkPad X220, with factory VGA option ROM and SeaBIOS 1.7.5 as payload. When I run memtest86+ on this machine, it reports a fail at 3070.7MB. If I just install a 2GB memory module, it passes the test. So what makes memtest86+ give a test failure? Iru