Is anyone having Kernel MCE errors with Alienware 13 R3 and Linux Kernel 4.13?

After updating my Alienware 13 R3 BIOS to release 1.2.0 I started to get error messages like the following (on my Debian 9 System):

Message from syslogd@alienware at Nov 30 01:27:36 ...
 kernel:mce: [Hardware Error]: CPU 2: Machine Check: 0 Bank 0: 9000004000010005

Message from syslogd@alienware at Nov 30 01:27:36 ...
 kernel:mce: [Hardware Error]: TSC 129a6360b5f

Message from syslogd@alienware at Nov 30 01:27:36 ...
 kernel:mce: [Hardware Error]: PROCESSOR 0:906e9 TIME 1512005256 SOCKET 0 APIC 4 microcode 5e

At the beginning they seemed not dangerous, just annoying, but then found out that it was messing with my Virtual Machines in VirtualBox. So I reinstalled BIOS 1.1.9 as this seems to be a firmware issue and the problems with the VMs seems to have been fixed, however I am still getting this message on the terminal console.

I had a google and found that many people with Dell computers seems now to be having the same issue (and it appears to be an updated firmware in LVFS: Home  that solves the issues on other Dell, but they don't have firmware updates for Alienware specific laptops.

Also Windows 10 did not seems very happy with 1.2.0 and I had one system froze while using Amiga Forever 2017 (while playing a game actually), but after that everything worked ok.

I did run all Dell's support tests and they found nothing, all tests passed and I did run Intel Processor test suite and it also passed all tests.