x86/mm/mpx: Work around MPX erratum SKD046