configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / INSTALL
2012-02-12 Geoff LevandConvert build to use automake