ARM: Update mach-types

It's been a while since the mach-types file was updated, as we have
moved away to DT for platform stuff.  Updating it has the advantage of
retiring lots of entries which have not been made use of, resulting in
rougly halving the size of the file.

Signed-off-by: Russell King <rmk+kernel@armlinux.org.uk>