Question about using NVDIMM for Linux Kernel debugging