linux-wandboard

ARM: mx25: rename mach-mx25pdk.c to mach-mx25_3ds.c matching its arch number

Additionally document all known names of that machine.

Signed-off-by: Uwe Kleine-König <u.kleine-koenig@pengutronix.de>