# SPDX-License-Identifier: MIT
CONFIG_X86_INTEL_MPX=y