[PATCH] KVM: x86: Work around buggy MPX platform

From: Liu, Jinsong
Date: Mon Mar 10 2014 - 04:48:26 EST