ps4 linux pre-configured