ar71xx: rename mach-rb-4xx.c to mach-rb4xx.c, and change Kconfig symbol