Running a virtual machine on a Haswell system produces machine check events