[ARM] 4537/1: build support for AT91x40 and EB01

Makefile build support for the Atmel AT91x40 CPU and EB01 board support.

Signed-off-by: Greg Ungerer <gerg@uclinux.org>
Acked-by: Andrew Victor <andrew@sanpeople.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>