[PATCH v1 1/3] lpc32xx: Kconfig: switch to CONFIG_CONS_INDEX