NVDIMM sizes and DIMM hot plug