configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / s
2018-08-07 Geoff Levandlib/log: Add verbose logging routines