ibmpex: update Kconfig to list more supported models