configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / man / pb-console.8
2013-05-19 Geoff Levandutil/pb-console: Packaging updates