If I understand well #423, Libreboot can not run memtest86+ installed from OS. Could this be written somewhere in the documentation or the FAQ? Memetest86+ is a really popular tool, so I think users need to know that it won't work.
Please apologize if this is already written somewhere.
It's mentioned https://libreboot.org/docs/install/#rom