Bios F4 didn't work well for me, got some random freezing at idle which I think related to low VDIMM as 1.640v bios gives 1.616v in windows and DVID looks buggy.
I reverted back to F2 bios, 1.640v vdimm bios gives 1.632v in windows and has been running without a single freeze for 2 weeks before I flashed to F4. I will stick with F2 for now