arch/tile/Kconfig: rename tile_defconfig to tilepro_defconfig