> Interesting. I have memtest86+ 6.10-4, for amd64, on the machine. Then AFAIK it is not a known problem (IOW, it should work).
> Maybe I'll try a USB stick version.
IIRC the memtest86+ Debian package comes with .iso files which you can
(manually) put into /boot/images/ and which boot in a slightly different
way than the image files installed there by default, so you could try
that as ell.
Also upstream has a slightly more recent release.
Stefan
