configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / jenkins /
2018-07-26 Geoff Levandjenkins: Add build jobs