[PATCH] ARM: add back in KS8695 based SnapGear board entries

[Russell King - ARM Linux]

On Mon, Sep 10, 2012 at 01:30:15PM +1000, gerg at snapgear.com wrote:
> From: Greg Ungerer <gerg at uclinux.org>
> 
> Board support code for the SnapGear boards based on the Micrel KS8695 SoC
> will soon appear in mainline kernel. The board IDs had been removed from
> the mach-types file, so add them back in.

Nak.  You must add platform support for these numbers _along_ _side_
adding them back to mach-types, otherwise my scripts will simply delete
them again.  These entries have been aged out due to lack of merging of
the platforms.