The 'OtherOS' functionality was not present in the updated PS Slim models, and the feature was subsequently removed from previous versions of the PS3 as part of the machine's firmware update version 3. What functionality did the PlayStation 3 lose in version 3.12 of its firmware update?