configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / s