I know this is a linux forum, however i had my ps4 freeze last night, and tried a hard reboot. after the system booted up it was informing me i had to reinstall the firmware, after a couple tries i popped it out and plugged it into ubuntu hoping to format it to fat32 or ntfs to reinstall the ps4...