(no subject)

[Chris Lumens <clumens redhat com>]

This patch adds back in support to recognize the PS3 as a valid machine type.
There could very well be further patching that needs to be done in platform.py
to fully support the platform but I do not know what it is, and do not have
access to one.  Hopefully if there are additional problems, someone will step
up and supply a patch.

- Chris