Hi btng
I am having the exact same problem as you had. More or less the same spec too except I only have 32Gb RAM.
How did you actually fix your problem? I know you say you followed the steps outlined in the link but what BIOS version did you use?
Appreciate any input :)