Early Armadillo 500 support (the last?)

Ok, after reviewing mechanism this is the patch that give early support to the Atmark Armadillo 500 dev board.
The patch apply to the latests kernel source obtained by

git pull

in the root local git repository.

0001-Initial-support-for-Atmark-Armadillo-500-developing.patch