[Bug 1201351] MMIO Stale Data CPU bug present and SMT on, data leak possible