[U-Boot] [PATCH 1/2] mx31pdk: Convert CONFIG_MX31 flag to use Kconfig.