Included for completeness, since we didn't officially use Debian's memtest86
packages in the boot and TFM filesystems.