This is the TVB value difference between the bios that introduced Intel profiles and the bios with 0x129 microcode (second image).
I am going to switch back to the intel profile bios and see if that improve things. My PC was working all fine before, now just had my first BSOD reboot with 0x129 BIOS.