> Note: Memtest86 does not appear to work. I believe that is a known
> problem with UEFI machines.
AFAIK the current memtest86+ (not to be confused with memtest86, which
is proprietary) claims to work fine on UEFI.
IIUC the one in oldstable doesn't OTOH.
Stefan