/*
 * This is here for documentation purposes only - until these people
 * submit their machine types.  It will be gone January 2005.
 */

It's now seven years after that date, so let's remove this.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>