Playstation 3: How to reset the display output options after changing video cables