I wonder if it's possible to change this default DIMM order in the bios (somewhere in time).It seems that one of my red slots isn't posting my dimm anymore since I reseated everything. (I only have 12GB instead of my usual 16GB (4x4GB). Changing arou...