Mach-Types for EDB7312

Hello,

I'm a little bit confused about the mach-types for the CLEP7312
board: there is a mach-type called "MACH_TYPE_EDB7312". The
machine description in arch/arm/mach-clps711x/clep7312.c uses
CLEP7212. Apparently this is as that same file is or at least was
supposed to handle both the 7212 and the 7312. However, this is not
consistent with the config.in/Makefile definitions, where clep7312.c
is explicitly assigned to the CONFIG_ARCH_CLEP7312.

Locally I have a patch here that straightens all this out for the
EP7312:

config.in:
  CLPS711X/EP721X Implementations:
     EDB7312 CONFIG_ARCH_EDB7312

mach-type.h
  MACH_TYPE_EDB7312 = 131

MACHINE_START(EDB7312, "Cirrus Logic 7312")
...

I also maded necessary changes to support the EP7312 Framebuffer, to.
This is basically adding a bunch of machine_is_edp7312() to
clpx711xfb.c and reserving the bootmem.

My only concern with that solution is, that I'm not sure where the
EP7212 is left in in it. I have no such thing here for testing. Im
happy to submit the patch to the patch daemon, if you like.