Not sure I understand, but let me try to clarify. The computer you'd like to use to reformat the PS4 HDD has no OS. If this is what you're saying, then yes, you can make bootable USB with a Windows installer or use a bootable Linux of your choice, and then, assuming the HDD is installed correctly, you can format it.