configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / .gitignore
2017-11-03 Cyril BurAdd root .gitignore