Hi Chino, I know that option, the layout of the Deluxe is just as the one that you have.
The thing is when I manually set that value to 94, as this is the default for 5820k, the bios sets the maximum value to something else, for example 92 or something else but not 94.
The problem for me is that when the bios sets max temp values then I have no idea of the realistic core temps.