ARM: at91/trivial: fix model name for SAM9X25-EK