Re: Question about using NVDIMM for Linux Kernel debugging