[coreboot] Sockets and DIMM_SUPPORT