This patch adds support for the avnet fx12 minimodul.
It needs the "ppc4xx: Generic architecture for xilinx ppc405"
patch from Ricardo.

Signed-off-by: Georg Schardt
Signed-off-by: Ricardo Ribalda Delgado
Signed-off-by: Stefan Roese