> 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