[mrlonglong]

Instead of losing 8GB of precious RAM, you could map out the bad memory with a Linux GRUB boot parameter that tells Linux not to use that part of the memory.

I've successfully done this with a Dell Precision machine that we needed as a build machine. Twelve months later on, still works and we do seriously stress it with builds.

https://www.gnu.org/software/grub/manual/grub/html_node/badr...

BTW, I absolutely love Pepper and Carrot. Keep up the great work.