Samsung 16GB DDR4 ECC UDIMM 2400MHz memory HPE / HP ProLiant Gen10 microserver