[PATCH v1 14/16] arm: Kconfig: Switch XEA (imx287 based) board to use CONFIG_PL01X_SERIAL